I received my PhD degree from East China Normal University in 2019, majored in software engineering. From 2013 - 2014 I visited Team AOSTE at INRIA, Sophia Antipolis, France, and later worked as a post-doc researcher at Southwest University from 2019. Currently I am a lecturer at College of Software, Nanjing University of Aeronautics and Astronautics (NUAA), mainly working on formal specification and verification of software engineering. Up to now, I have published about 20 papers on journals and conferences in this area, including: Formal Aspects of Computing, Journal of Logical and Algebraic Methods in Programming, Science of Computer Programming, Frontiers of Computer Science, TASE, ICFEM, etc. And I have hosted one project of National Nature Science Foundation of China (Youth Project) and one project of National Science Foundation of Chongqing. 

Current Research Interests:

Intelligence Software Verification；

Real-time System Specification and Verification；

Program Reasoning & Theorem Proving. 

Recruit 1 - 2 students.  Students who are interested in these areas can contact me through email, send me your CV. 

For other details about me, please visit my home page: https://yuanruizhang5a.github.io (kept updated timely).