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 the Association for Computing Machinery (ACM), the China Computer Federation (CCF), and the technical committee on formal methods of CCF. I'm interested in software verification theories, techniques and applications.

Awards

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: July 18, 2019