University of California, Santa Barbara
Santa Barbara, CA 93106
Distinguished Paper Award, ACM Special Interest Group on Software Engineering; Google Research Scholar Award
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.
PhD Computer Science, University of Texas at Austin
MS Computer Science, Beihang University