My research centers on program analysis for correctness and performance, spanning both symbolic and neural methods. I lead teams working on program synthesis, small language model training and LLM infrastructure. I am also interested in system software, advanced computing paradigms including optical and quantum computing, and programming language theories.