He is a third-year Ph.D. student under the supervision of Prof. Jingling Xue. His research interest lies in programming language and software engineering. His current research focuses on static program analysis of object-oriented languages (e.g., Java pointer analysis).