Experience
Education
Bio
I am an Associate Professor in the Software Engineering Group led by Prof. Xuandong Li in Dept. of Computer Science and Technology, Nanjing University. I received my B. Sc. and Ph. D. degrees in computer science from Department of Computer Science and Technology, Nanjing University, China, in 2004 and 2010, respectively. I joined Department of Computer Science and Technology of Nanjing University in 2010 as an assistant professor. My research areas include but not limited to: Model Checking, Bounded Model Checking, Formal Methods, Real time and Hybrid System, Cyber Physical System, Software Testing, Software Analysis, Dependable System and Software Engineering