Yu Feng's research interests include programming languages, program analysis and verification, program synthesis, and security. More specifically, he wants to build automated tools to guarantee the robustness of a system in a sound, precise and scalable way. He is also interested in combining program synthesis/analysis with machine learning to build and break systems, tackling practical problems in mobile devices, blockchain, data science, etc.