Home | Publications


Zhe Chen    chinese name



portrait

Email


zhechenanuaa.edu.cn


Postal Address


College of Computer Science and Technology,
Nanjing University of Aeronautics and Astronautics,
29 Jiangjun Avenue, 211106 Nanjing, Jiangsu, China PR


Links


SVLab@NUAA

I’m an Associate Professor in the Software Verification Lab (SVLab), College of Computer Science and Technology at Nanjing University of Aeronautics and Astronautics, China. I received my Ph.D. in Computer Science from LAAS-CNRS, INSA de Toulouse, France. I am a member of China Computer Federation (CCF) and a member of the technical committee on formal methods of CCF. I’m interested in software verification theories, techniques and applications.

Research and Publications

I’m interested in: You can find a list of my publications here.

Projects and Tools

My group is focusing on the following projects, in which we developed some tools:

Research Guide



Last updated: May 1, 2018