University of California, Santa Barbara
Santa Barbara, CA 93106
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