师资队伍

Biography

I have been a full professor inSchool of Computer Science and TechnologyatShandong Universitysince July 2020. Before that, I was a postdoc atKTH Royal Institute of Technologyin Stockholm from March 2018 to May 2020, working majorly with professorMartin Monperrus. Even before that, I worked as a postdoc inInriafrom August 2016 to February 2018, working majorly with professorLionel Seinturierand professorMartin Monperrus. I received both my Bachelor and Doctorate degrees fromBeihang Universityin Beijing, China (previously known as Beijing University of Aeronautics and Astronautics).

Research Field

Programming language; Software engineering; Formal methods

My current research program has a particular focus on the areas ofprogram 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.

Contacts

Email：zhongxing.yu@sdu.edu.cn

Link：https://zhongxingyu.github.io