Zhongxing Yu
Professor at Shandong University
Qingdao, Shandong, China
Summary
👤
Senior🎓
Top SchoolZhongxing Yu is a professor and researcher with nine years of experience specializing in programming languages, formal methods, software engineering, and machine learning, currently based at Shandong University in Qingdao. His research centers on program synthesis and automated program repair, aiming to make programming more accessible and software more robust. He brings postdoctoral experience from leading European research labs (Inria and KTH) to bridge theoretical foundations and practical tooling. Trained with a Ph.D. from Beihang University, he blends formal methods with ML techniques to tackle real-world software reliability challenges. Notably, his work emphasizes cross-disciplinary solutions at the intersection of programming languages and learning-based approaches, reflecting a pragmatic and research-driven path to improving developer productivity.
9 years of coding experience
Doctor of Philosophy (Ph.D.), School of Automation Science and engineering, Doctor of Philosophy (Ph.D.), School of Automation Science and engineering at Beihang University
Chinese, English
Github Skills (39)
repair10
applet9
open-science9
science9
parser8
annotation-processor8
spoon8
abstract-syntax-tree8
annotations7
junit-test7
java7
large-scale7
code-generation7
scale7
istanbul7
Programming languages (3)
Github contributions (5)
zhongxingyu/Seer
May 2020 - Dec 2022
Code and Data for Structural AST Node Level Code Transform Prediction Using Conditional Random Field (CRF)
Contributions:9 commits, 1 PR, 9 pushes in 2 years 7 months
zhongxingyu/Java-Annotation-Study
Sep 2018 - Feb 2020
Source code and data about our large scale study about Java annotaion in practice
Contributions:11 commits, 1 PR, 10 pushes in 1 year 5 months
annotationsscalelarge-scaleannotaionannotation-processor
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.