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 beautiful 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
Zhanke Zhou, Chenyu Zhou, Xuan Li, Jiangchao Yao, Quanming Yao, Bo Han
International Conference on Machine Learning (ICML), 2023
Academic Experience & Service
PC/AEC Experience
-
CCS 2023 Artifact Evaluation Committee Member
-
USENIX Security 2023 Artifiact Evaluation Committee Member
-
CAV 2024 Artifact Evaluation Committee Member
Other Experiences
L3H_Sec -- HUST CTF Team
- Advised by Prof. Dongliang Mu
- In core group, mainly on Crypto, Misc and Web.
Teaching Assistant
-
CSCI 310 Software Engineering, University of Southern California
- 2023 fall, with Prof. Chao Wang
- 2023 fall, with Prof. Chao Wang
-
CST 2261 Algorithm Design and Analysis, Huazhong University of Science and Technology
- 2022 Spring, with Prof. Teng Zhang
- Main-in-charge of Extra Credit for Programming Skill Practice in HUST CS
- Including 3 Courses: Advanced Programming Language, Data Structures, Algorithm Design and Analysis.
- 2022 Spring, with Prof. Teng Zhang
-
Undergraduate class teacher for HUST ACM-Honor Class 2021.
- Mentor talented freshman undergraduates in disciplinary competitions and scientific research.
- Hosted ACM Honor Class Online Seminars on topics such as Introduction to Scientific Research, Introduction to Computation Complexity.
- Mentor talented freshman undergraduates in disciplinary competitions and scientific research.
Competitive Programming
-
Lecturer in Summer Camp of Olympiad in Informatics, Jiangsu Province
- Lecture: Dynamic Programming
-
Maintainer of China's most popular Online Judge Website -- Luogu Online Judge.
- Since 2017
- Setting up monthly competitions and algorithm lectures.
MISC
- You can use the webname 'zcysky' to find me in most of the websites.
- I am a World of Warcraft Player, majoring in Marksmanship/Beast Mastery Hunter in ShadowLands and Dragon Flights.
- New homepage photo was taken in San Francisco, credit to my labmate Jacqueline Mitchell.
Side Projects
These are some preprints and side project, which are usually from some random ideas or some interesting problems I met in daily life.Xiongye Xiao, Chenyu Zhou, Heng Ping, Defu Cao, Yaxing Li, Yizhuo Zhou, Shixuan Li, Paul Bogdan
Arxiv Preprint