Zhongxing Yu
Software Engineer at Shandong University
Qingdao City, Shandong, China
Summary
👤
SeniorZhongxing 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.
10 years of coding experience
Github Skills (23)
crf10
patch9
open-science9
contrastive-learning9
science9
abstract-syntax-tree8
spoon7
java7
code-generation7
java-module7
parser7
dynamic-analysis5
metaprogramming5
code-analysis5
localization5
Programming languages (3)
Github contributions (5)
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
java
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
crf
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.