• 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 :-). 

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.