Chengyu Zhang is a Lecturer in the Department of Computer Science at Loughborough University. Previously, he was a postdoctoral researcher in the Department of Computer Science at ETH Zurich (2022–2025). He received his Ph.D. and B.S. degrees with awards from East China Normal University (ECNU) (2012–2021). He was also a visiting Ph.D. student at ETH Zurich (2018–2019) and co-founded Shanghai Neoclub Information Technology Co., Ltd. (2015–2016).

He is looking for Ph.D. and visiting students, with funding through studentships, scholarships (such as CSC), or self-support. If you are passionate about research and interested in working with him, regardless of your background, feel free to drop him an email.

Feel free to email him with any questions about study, research, or your career.

He consistently strives to publish high-quality papers in top-tier venues. Some of his works include:

SMT2Test: From SMT Formulas to Effective Test Cases. 
Chengyu Zhang and Zhendong Su
In Proceedings of SPLASH/OOPSLA 2024.

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs. 
Wenjing Deng, Qiuyang Mang, Chengyu Zhang and Manuel Rigger
In Proceedings of SIGMOD 2025 (acceptance rate: 12%, 30/254).    

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. 
Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li and Yulei Sui
In Proceedings of FSE 2024.    

An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. 
Sverrir Thorgeirsson, Chengyu Zhang, Theo Weidmann, Karl-Heinz Weidmann, Zhendong Su
In Proceedings of ICER 2024 (acceptance rate: 20%, 36/179).    

DivLog: Log Parsing with Prompt Enhanced In-Context Learning. 
Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang and Pinjia He.
In Proceedings of ICSE 2024.    

His research interests are in:

•    Software Engineering
•    Programming Languages
•    Formal Methods
•    Artifical Intelligence

He is currently working on trustworthy automated reasoning techniques (including SMT solvers and LLMs) and their applications to software reliability. He has found 2000+ bugs in automated reasoning tools and general software with advanced software testing and verification techniques. 

Academic Services

•    Program Committee (PC) Member:
ICSE 2026, ASE 2025, ASE 2024, ESEC/FSE 2023, ECOOP 2023
ISSTA 2025 Tool Demo, ISSTA/ECOOP 2024 Tool Demo
FUZZING 2022-2025

•    Co-Chair:
USENIX OSDI'22 and ATC'22 Artifact Evaluation

•    Reviewer:
IEEE Transactions on Software Engineering (TSE) 2022-2025
ACM Transactions on Software Engineering and Methodology (TOSEM) 2020-2025
Computing Surveys 2025

Awards and Honours

•    ESEC/FSE Distinguished Reviewer Award 2023
•    CCF TCFM Distinguished PhD Thesis Nomination Award 2023
•    Amazon Research Award (co-PI) 2022
•    CCF-ANT Research Funding (co-PI) 2021
•    Google Open Source Peer Bonus 2021
•    PLDI Distinguished Paper Award 2020