I have been a Qilu Young Professor (“齐鲁青年学者”特聘教授) in School of Computer Science and Technology at Shandong University since July 2020. Before that, I was a postdoc in the Theoretical Computer Science Group at KTH Royal Institute of Technology in Stockholm from March 2018 to May 2020, working majorly with professor Martin Monperrus. Even before that, I worked as a postdoc in Inria Lille - Nord Europe from August 2016 to February 2018, working majorly with professor Lionel Seinturier and professor Martin Monperrus. I received both my Bachelor and Doctorate degrees from Beihang University in Beijing, China (previously known as Beijing University of Aeronautics and Astronautics).
My general research interests are in programming language, software engineering, and formal methods. My current research program has a particular focus on the areas of program synthesis and program repair, and the research goal is to make programming easier and programs more robust.
I am actively looking for self-motivated and talented students at different levels (PhD students, post-docs, master students, undergratuate students) to join my research group, students that are good at programming and(or) enjoy working on the formal side of programming are especially welcome. We aim at tackling crucial, pressing, difficult problems via principled, elegant, practical solutions. Our work strives for not only publishing in the best venues, but more importantly for achieving elegance and impact, both conceptual and practical. If you are interested, please feel free to drop me an email (email@example.com).