I have been a full professor in School of Computer Science and Technology at Shandong University since July 2020. Before that, I was a postdoc 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 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, program verification, program repair, and empirical study (in particular of programming language features), 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. If you are interested in working with me, please feel free to drop me an email (zhongxing.yu@sdu.edu.cn).
