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
I will be teaching CS
8803 Topics in Program Analysis in Fall 2019.
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 firstname.lastname@example.org as my personal email.