Zhe Chen   

Email

---

zhechennuaa.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?

I'm a Professor at the College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, China. I received my PhD degree in Computer System from LAAS-CNRS, INSA de Toulouse, France. I am a member of the Association for Computing Machinery (ACM), a distinguished member of the China Computer Federation (CCF), and a member of the CCF technical committee on formal methods.

Research Interests and Publications

I'm interested in:

• Software engineering, software verification, incl. model checking and runtime verification
• Programming languages, program semantics, program analysis
• Theoretical computer science, formal methods, automata and formal languages theory
• Applications of software verification

You can find a list of my publications here.

Awards

• ACM SIGSOFT Distinguished Paper Award (2019)

Selected Projects

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

• National Natural Science Foundation of China: Runtime Verification for Memory Safety and Formal Specifications (No. 62172217), January 1, 2022 - December 31, 2025, PI
• National Natural Science Foundation of China: Formal Verification Techniques for the Reliability of Avionics System Software (No. U1533130), January 1, 2016 - December 31, 2018, PI
• National Natural Science Foundation of China: A New Control Mechanism Based Technique for Software Reliability and its Theory (No. 61100034), January 1, 2012 - December 31, 2014, PI
• Fundamental Research Funds for AI (No. NZ2020019), PI
• Fundamental Research Funds for the Central Universities (No. NZ2013306), PI
• China Postdoctoral Science Foundation (Nos. 20110491411 and 2012T50498), PI

Tools

We have developed the following tools:

• Movec: an automated tool for runtime monitoring and verification of C programs as an extension to the C programming language.
• Monic: a checker for LTL formulas.
• Smc: an automated Scade model checker for verifying Scade programs.