Zhe Chen (陈哲) - Nanjing University of Aeronautics and Astronautics (南京航空航天大学)

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), the China Computer Federation (CCF), and 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

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

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: a model checker for programs.