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
    

• 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

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