About Me
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. Generally I like Programming Language techniques with theoretical forms and guarantees.
Interested Areas: Program Analysis and Formal Verification
Education
- Ph.D. University of Southern California(USC)
-
2023.8-NOW
-
Major: Computer Science
-
2023.8-NOW
- B.Eng. Huazhong University of Science and Technology(HUST)
-
2019.9 - 2023.6
-
Major: Computer Science and Technology
-
2019.9 - 2023.6
Publication
Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang
conditionally accepted by 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025
Zhanke Zhou, Chenyu Zhou, Xuan Li, Jiangchao Yao, Quanming Yao, Bo Han
International Conference on Machine Learning (ICML), 2023