Interning at Microsoft Research @ Redmond in summer 2025.
Contributed to multiple code intelligence projects covering data synthesis (ProSec), data quality enhancement (DiEmph), architecture design (CodeArt), and pre-training techniques (Nova, ReSym).
Developed RepoAudit, an autonomous LLM-agent for repository-level code auditing.
Researched task decomposition (LLMDFA), hallucination mitigation (LLMSAN), and multi-modal reasoning bridging code and natural language (ProRec).
Applied methods to traditional program analysis, including formal verification (CompCertELF, CSLED), semantic formulation (PEM, StateLifter, Arcturus), debugging (CPC, ParDiff), and root cause analysis (ROCAS).