My research focuses on program analysis on the correctness and performance of programs. I am also interested in program synthesis, system software, advanced computing paradigms including optical and quantum computing, and programming language theories.