Bio

Yu Feng joined the CS department in Fall 2019. He received his Ph.D. in computer science at UT Austin. After that, he spent one year as a postdoc at the University of Washington. Dr. Feng’s research interests lie in the broad and cross-cutting fields of formal methods, programming languages, program synthesis, and program verification. His research focuses on building robust systems for emerging domains such as data science, mobile systems, blockchain, and multi-party protocols.

Research

Program Synthesis, Program Analysis, Program Verification, Data Visualization, Blockchain and Smart Contracts, Mobile Security.

Honors and Awards

• ACM SIGSOFT Distinguished Paper Award, ASE 2020
• ACM SIGPLAN Distinguished Paper Award, PLDI 2018

Publications