Joann  |  哲苑 zhé yuàn

I’m currently a computer science undergraduate at Saarland University, and I’m on a journey to discover my research passions.

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

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

Research Papers

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