Hi 👋, I'm currently a computer science undergraduate at Saarland University, working with Alexi Turcotte at CISPA as a research assistant. I'll soon begin my PhD in the Cognitive Engineering Lab at Brown University, advised by Will Crichton. I'm on a journey to discover my research passions :)

📬 (λx. λy. x00001@stud.uni-y.de) (zhwu) (saarland)

Areas of interest:
human factors in formal methods, testing and verification, program analysis.

Expressing and Checking Statistical Assumptions
Alexi Turcotte, Zheyuan Wu
fse 2025 ⭐ distinguished paper

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, Aaron Bies
src splash 2024 🥉 3rd place