About
Currently I am a Ph.D. Student from University of Southern California, Department of Computer Science, advised by Prof. Chao Wang.
I got my Bachelor degree from Huazhong University of Science and Technology in 2023. I am generally interested in Program Analysis and Verification, especially on algebraic tools and its theoretical aspect, for better scalability, compositionality, and efficiency. Most of my research is based on Abstract Interpretation and Kleene Algebra with Tests.
I work on formal methods (i.e. how to use mathematics to design programs) as opposed to software engineering (i.e. how to design programs avoiding any use of mathematics). —- Patrick Cousot
News
- 2025.8: One paper got accepted at LMPL workshop@OOPSLA 2025.
- 2025.5: I will start an internship at AWS, working with Dr. Joey Dodds and Dr. Victor Nicolet this summer! Please contact me if you are also in Portland, OR!
- 2025.2: I will attend SoCalPLS 2025!
- 2025.1: I will be in Denver for POPL 2025, looking forward to seeing you at my talk, and the KAT session I host!
- 2024.11: One paper got accepted at POPL 2025.
- 2024.11: I will be at OOPSLA 2024 at Pasadena!
- 2023.9: I started my Ph.D. at University of Southern California. Beautiful Los Angeles~
Education
- 2023.9 - now: PhD Student @ University of Southern California(USC), Thomas Lord Department of Computer Science.
- 2019.9 - 2023.6: Bachelor of Engineering @ Huazhong University of Science and Technology(HUST), School of Computer Science and Technology.
Publications
- An Incremental Algorithm for Algebraic Program Analysis. Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang, POPL 2025. listen it from SunoAI!
- Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters. Jacqueline Mitchell, Brian Hyeongseok Kim, Chenyu Zhou, Chao Wang, LMPL workshop @ OOPSLA 2025
- Efficient Symbolic Execution of Software under Fault Attacks. Yuzhou Fang, Chenyu Zhou, Jingbo Wang, Chao Wang, Arxiv preprint
- On Strengthening and Defending Graph Reconstruction Attack with Markov Chain Approximation. Zhanke Zhou, Chenyu Zhou, Xuan Li, Jiangchao Yao, Quanming Yao, Bo Han, ICML 2023.
Academic Service
- Journal Reviewer : TNNLS
- AEC : CAV’25, PLDI’25, USENIX Security’24, CAV’24, CCS’23
- Reviewer : ICML’25, NeurIPS’24, ICLR’24
- Session Chair for Kleene Algebra with Tests at POPL’25
Experience
- 2025: Applied Scientist Intern @ AWS Automated Reasoning Group(Portland, Oregon)
- 2023, 2024: Teaching Assistant for CSCI 310: Software Engineering with Prof. Chao Wang at USC.
- 2021: Teaching Assistant for CST 2261: Algorithm Design and Analysis with Prof. Teng Zhang at HUST.
- 2024: Volunteer for OPLSS 2024.
Scholorship & Awards
- Verification Mentoring Workshop(VMW) Scholarship at CAV 2024.
- Oregon Programming Languages Summer School(OPLSS) Scholarship 2024.
- 2022 CCF Outstanding College Student.
- 2021 ACM-ICPC Asia Reginal Contest(Macau), Silver Award.
- 2022 ASC Asia Supercomputer Contest, Second Class Prize.
- National Olympiad in Informatics in Province(NOIP 2018, Jiangsu),First Prize
Inivited Talks
- An Incremental Algorithm for Algebraic Program Analysis, SoCalPLS 2025, POPL 2025
- Kleene Algebra For Program Verification and Analysis, Guest Talk @ CECS 329 - Concepts of Computer Science Theory(CSULB), 2025
MISC
- We have a USC-PLFM Reading Group, Feel free to join us if you are interested in!
- New homepage photo was taken in San Francisco, credit to my labmate Jacqueline Mitchell.
- During my Undergrad, I played CTF with Team L3H_Sec.
- I am a member of the doujin club yukiha(雪羽) and the maintainer of the website.
- I am a World of Warcraft Player, majoring in Marksmanship/Beast Mastery Hunter in BFA, ShadowLands, Dragon Flights and The War Within.