He is a postdoc research fellow at the University of New South Wales. 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).