Ph.D Computer Science, University of Texas at Austin
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.
Program Synthesis, Program Analysis, Program Verification, Data Visualization, Blockchain and Smart Contracts, Mobile Security.