Scholar
Chenyu Zhou
Google Scholar ID: Q9ENnhUAAAAJ
University of Southern California
Citations & Impact
Citations
50
H-index
3
i10-index
2
Publications
7
Co-authors
4
list available
Publications
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.
