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
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
Reviewer
- NeurIPS 2024
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 and 2024 fall, with Prof. Chao Wang
- 2023 fall and 2024 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 BFA, ShadowLands, Dragon Flights and The War Within.
- New homepage photo was taken in San Francisco, credit to my labmate Jacqueline Mitchell.
- We have a PLFM reading group at USC. Separately, my friend Nick also organized a Formal Methods reading groupmostly focus on Control and Robotics Verification. Feel free to join us if you are interested in!
- If you are an undergraduate student in HUST and want to apply for a Ph.D. program in the US, here is a guide we wrote for you.
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