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
    

• B.Eng. Huazhong University of Science and Technology(HUST)
  • 2019.9 - 2023.6
    
  • Major: Computer Science and Technology
    

Publication

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
    
• 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.
    
• 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.

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.