Nanjing, Jiangsu, China
I am a Professor at Nanjing University of Aeronautics and Astronautics, China. I received my PhD in Computer System from INSA de Toulouse in France. My research interests include software engineering, programming languages, theoretical computer science, and their applications in engineering highly dependable software. I have published over 60 peer-reviewed research papers in some premier journals and conferences. e.g., TSE, TOSEM, OOPSLA, ISSTA, and has won an ACM SIGSOFT Distinguished Paper Award in 2019. I am a member of ACM, a senior member of CCF, and in the CCF technical committee on formal methods.