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


♦ Google style guides and their chinese versions
♦ How to write a technical paper or a research paper?
♦ Writing technical articles in computer science
♦ Collected advice on research and writing
♦ How (and how not) to write a good systems paper?
♦ How to have a bad career in research/academia?
♦ SVLab@NUAA

I'm an Associate Professor at the Software Verification Lab (SVLab), College of Computer Science and Technology, 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.

Research Interests and Publications

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

Awards

Selected Projects

We have finished or are focusing on the following projects (as PI):

Tools

We have developed the following tools:


Last updated: July 18, 2021