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.