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 desired behavior of a system in a sound, precise and scalable way. He is also interested in applying program synthesis/analysis to build and break systems, tackling security and performance problems in mobile devices and blockchain.