Yu Feng is an Assistant Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). He cofounded Veridise and Nubit. Professor Feng has been recognized with prestigious academic awards for his contributions to the field, including best paper awards from top formal methods (PLDI’18, PLDI’22), software engineering (ASE’20), and HCI (CHI’21). He is also the recipient of Google Faculty award, Ethereum Academic award, and many others.