Hi 👋, I'm a computer science PhD student in the Cognitive Engineering Lab at Brown University, advised by Will Crichton.
I'm on a journey to discover my research passions :)
My undergrad was at Saarland University, worked with Alexi Turcotte at CISPA.

📬 (λx. x@brown.edu) (zheyuan)

Research interests:
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 (Advised by Jan Reineke <- this amazing prof is hiring PhD students, feel free to reach out!)