Can we model check the world?
About me
About me
I am a researcher in the areas of software engineering, formal methods, and machine learning.
I am married to Rui Fan, who is in the picture above. Guess who she is... She is an expert in customer analysis at BNP Paribus. As a Master with a background in applied mathematics, Rui teaches me a lot about the mysteries of math and life :-).
Work experience
Work experience
Postdoc researcher, Mälardalen University, Sweden. 2022 - now.
Education
Education
PhD in Computer Science, Mälardalen University, Sweden. 2017 - 2022.
Master's degree, Software Engineering, Xi'an Jiaotong University, China. 2010 - 2013.
Bachelor's degree, Software Engineering, Xi'an Jiaotong University, China. 2006 - 2010.