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.
News
- 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: CS PhD Student at University of Southern California(USC), Thomas Lord Department of Computer Science.
- 2019.9 - 2023.6: Bachelor of Engineering at 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.
- 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 : USENIX Security’24, CAV’24, CCS’23
- Reviewer : NeurIPS’24, ICLR’24
Other Experience
- 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
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.