Zheyuan (Joann) Wu
Hey! I’m currently a computer science undergraduate at Saarland University, and I’m on a journey to discover my research passions.
Areas of interests : program analysis, formal methods in security, testing and verification, and human factors in above technologies.
📬 (λx. λy. x00001@stud.uni-y.de) (zhwu) (saarland)
Research Experence
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, Aaron Bies
SRC SPLASH 2024 🥉(3rd place in the undergraduate category)
Zheyuan Wu, Haoyi Zeng, Aaron Bies
SRC SPLASH 2024 🥉(3rd place in the undergraduate category)
Expressing and Checking Statistical Assumptions
Alexi Turcotte, Zheyuan Wu
under review
Alexi Turcotte, Zheyuan Wu
under review
Teaching
- Teaching Assistant at Saarland University: Mathematics for Computer Scientists I (2023)
Misc.
- Need a break? Take a look at Baloo 🐈
- More about my life