Chenyu Zhou
Scholar

Chenyu Zhou

Google Scholar ID: Q9ENnhUAAAAJ
University of Southern California
Programming LanguagesProgram VerificationProgram Analysis
Citations & Impact
All-time
Citations
50
 
H-index
3
 
i10-index
2
 
Publications
7
 
Co-authors
4
list available
Resume (English only)
Background
  • Research interests: Program analysis and verification, especially algebraic tools and their theoretical aspects. Main research is based on abstract interpretation and Kleene algebra.
Miscellany
  • We have a USC-PLFM Reading Group, feel free to join us if you are interested!
  • New homepage photo was taken in San Francisco, credit to my labmate Jacqueline Mitchell.
  • During my Undergrad, I played CTF with Team L3H_Sec.
  • I am a member of the doujin club yukiha (雪羽) and the maintainer of the website.
  • I am a World of Warcraft Player, majoring in Marksmanship/Beast Mastery Hunter in BFA, Shadowlands, Dragon Flights, and The War Within. Here is my character information from raider.io.