Scholar
Zhongxing Yu
Google Scholar ID: kXl61c4AAAAJ
Shandong University
Citations & Impact
Citations
697
H-index
13
i10-index
16
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- No specific academic achievements such as publications, awards, etc., are mentioned.
Research Experience
- Full professor at the School of Computer Science and Technology, Shandong University since July 2020; Postdoc at KTH Royal Institute of Technology in Stockholm from March 2018 to May 2020, primarily working with Professor Martin Monperrus; Postdoc at Inria from August 2016 to February 2018, working mainly with Professors Lionel Seinturier and Martin Monperrus.
Education
- Received both Bachelor's and Doctorate degrees from Beihang University in Beijing, China.
Background
- General research interests: programming language, software engineering, and formal methods. Current focus: program synthesis, program verification, program repair, and empirical studies (especially of programming language features). The goal is to make programming easier and programs more robust.
Miscellany
- Actively looking for self-motivated and talented students at all levels (PhD students, post-docs, master students, undergraduate students) to join his research group, especially those who are good at programming or enjoy working on the formal side of programming.
Co-authors