I am an assistant professor in the School of Computer Science at the
Georgia Institute of Technology. I completed my Ph.D. in Computer
Science and Engineering at The Chinese University of Hong Kong in 2013,
and I received my
bachelor's degree in Computer Science from Zhejiang University in
I am always looking for motivated and talented students to work
with. If you are interested, please contact me.
My research interests are in the areas of programming languages and
software engineering, specifically focusing on techniques for improving
software reliability and security.
In particular, I enjoy working on program analysis and compiler optimization
problems from perspectives such as computational complexity, analytic combinatorics, graph theory,
and formal languages.
I have been involved in the following projects as an undergraduate student:
I use email@example.com as my personal email.