Chengyu Zhang
Lecturer (Assistant Professor) at Loughborough University
Charnwood, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolChengyu Zhang is a Lecturer (Assistant Professor) in Computer Science at Loughborough University with eight years of research experience in software engineering, programming languages, and formal methods focused on testing and verification for reliable software. His work has uncovered over 2,000 real-world bugs and produced more than 15 papers in top venues such as ICSE, PLDI, and SIGMOD, earning a PLDI Distinguished Paper Award and industry recognition like a Google Open Source Peer Bonus and an Amazon Research Award. He has strong ties to ETH Zürich through postdoctoral and visiting roles and regularly contributes to peer review and program committees for leading conferences and journals. Known for turning formal methods into practical tools, he blends deep academic rigor with impact-driven engineering that improves real systems.
8 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Software Engineering, Doctor of Philosophy - PhD, Software Engineering at East China Normal University
Github Skills (20)
kubernetes10
docker-registry9
documentation8
harbor8
coredns8
kubernetes-dashboard8
flanneld8
efk8
containerd7
docker7
fabric6
k8s5
hyperledger-fabric5
etcd5
minecraft4
Programming languages (6)
Github contributions (5)
okzhchy/okzhchy.github.io
Aug 2017 - Aug 2019
Contributions:39 pushes, 1 branch in 2 years
okzhchy/kubernetes-docs-cn
Mar 2018 - Aug 2018
Chinese-language Kubernetes documentation
Contributions:2 PRs, 1 push, 6 branches in 5 months
chinesekuberneteschinese-language
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.