About Me


I am the principal designer, implementer and maintainer of the ATS programming language system. Currently, I am working on ATS3/Xanadu, which is an implementation for ATS3, the third edition of ATS.

Professionally, I am currently a tenured associate professor in the Computer Science Department at Boston University (BU). I studied Mathematical Logic when I was an undergradute student at Nanjing Univeristy, China. And I graduated from the Mathematics Department at Carnegie Mellon University in 1998 with a PhD degree in Pure and Applied Logic.

Before joining BU in October 2001, I was a tenure-track assistant professor in the Department of Electrical & Computer Engineering and Computer Science (ECECS) at University of Cincinnati (UC).

Before joining UC in September 1999, I was a post-doctoral researcher at Pacific Software Research Centre (PacSoft) working on Formal Methods. And my supervisor was Prof. Jim Hook.

I joined PacSoft in August 1998 after finishing my PhD thesis titled Dependent Types in Practical Programming under the supervision of Prof. Frank Pfenning.