index.md

layout	title	permalink	research
page	Zheyuan (Joann) Wu	/	title author conference url 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) https://dl.acm.org/doi/10.1145/3689491.3689971 title author conference Expressing and Checking Statistical Assumptions Alexi Turcotte, Zheyuan Wu under review

{% include image.html url="myphoto/splash2024-light.jpeg" width="200px" align="right" %}

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

---

{% for pub in page.research %}

{% if pub.image %}

{% include image.html url=pub.image caption="" height="100px" align=thumbnail %}

{% endif %}

{% if pub.url %} {{ pub.title }}
{% else %} {{ pub.title }}
{% endif %} {{ pub.author }}
{{ pub.conference }}
{% if pub.note %} ({{ pub.note }}) {% endif %} {{ pub.year }} {% if pub.doi %} [[doi]({{ pub.doi }})] {% endif %} {% if pub.media %}
Media: {% for article in pub.media %} {{ article.name }} {% endfor %} {% endif %}

{% endfor %}

Teaching

---

- Teaching Assistant at Saarland University: [**Mathematics for Computer Scientists I**](https://cms.sic.saarland/mfi1_mfcs1_wise2223/) (2023)

Misc.

---

• Need a break? Take a look at Baloo 🐈
• More about my life