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)
Expressing and Checking Statistical Assumptions
Alexi Turcotte, Zheyuan Wu
under review

Teaching


Misc.