I am a Scientia Professor of Computer Science and Engineering at the University of New South Wales. I received my B.Eng and M.Eng degrees in Computer Science and Engineering from Tsinghua University in 1984 and 1987, respectively, and my PhD degree in Computer Science and Engineering from Edinburgh University in 1992.

I lead the Programming Languages and Compilers Group at UNSW. My research interests are programming languages, compiler technology, and program analysis. My current research projects include compiler techniques for improving parallelism and locality, static and dynamic analysis (with emphasis on developing pointer analysis techniques and static analysis tools), and program analysis for detecting bugs and security vulnerabilities in large codebases (with millions of lines of code) and/or complex software applications (e.g., web browsers and Android apps). Papers coauthored recently by me (mostly with my students) have been designated for (1) a Best Paper Award at CGO'13, (2) a Best Paper Award at CGO'16, (3) a Distinguished Paper Award at ECOOP'16, (4) a Distinguished Paper Award at ICSE'18, (5) a Distinguished Paper Award at ISSTA'19, and (6) a Distinguished Paper Award at ASE'19.

I am interested in sharing the outcomes of my research projects in the form of open-source tools, by supporting scientific replicability and reproducibility.

If you are interested in pursuing a PhD degree under my supervision, please contact me by sending your CV, copies of your publications and your academic transcripts.