Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Published multiple papers such as Semcoder, Cycle, EditLord, etc.; received numerous awards including IEEE CS TCSE Rising Star Award, Most Influential Paper Award, etc.; funded by NSF, Google, IBM, Amazon, Capital One, RedHat, etc.
Research Experience
Associate Professor at Columbia University; leads research at the ARiSE Lab; serves as an Amazon Scholar, collaborating with the Amazon Agentic AI team.
Background
Research interests: Intersection of AI and Software Engineering, with a particular focus on AI for Code. Exploring neurosymbolic techniques (blending machine learning and formal reasoning) to transform software reliability, security, and developer productivity.