Zhe Chen is a Professor of Computer Science at Nanjing University of Aeronautics and Astronautics, China. He received his PhD degree in Computer System from Institut National des Sciences Appliquees de Toulouse (INSA de Toulouse) in France. Before that, he obtained his Bachelor's degree in Computer Science, and Master's degree in Pattern Recognition and Intelligent System, both from Central South University, China. His research interests include software engineering, programming languages, theoretical computer science, and their applications in engineering highly dependable software. He has published over 60 peer-reviewed research papers in some premier journals and conferences, and has won an ACM SIGSOFT Distinguished Paper Award in 2019. He is a member of ACM, CCF, and in the CCF technical committee on formal methods.

Personal Page: https://drzchen.github.io/

I am currently seeking Master's and PhD candidates. If you are interested in joining our research group, kindly send me an email. Please include your resume, transcripts, and proof of main achievements in your email; otherwise, I will not reply.