Haoyi

Haoyi Zeng

Hey! I’m a computer science undergrad at Saarland University. I’m broadly interested in verification, programming languages, hardware, and type theory.

Currently, I’m a research assistant at MPI-SWS, working with Derek Dreyer. I’m also collaborating with Jana Hoffmann at MPI-SP.

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

📝 Curriculum Vitae


Research Papers (* equal contribution)

Post’s Problem in Constructive Mathematics
Haoyi Zeng, Yannick Forster, Dominik Kirst, Takako Nemoto
draft
The Blurred Drinker Paradox
Dominik Kirst*, Haoyi Zeng*
lics 2025 ⭐ distinguished paper award
Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
pldi 2025 ⭐ distinguished paper award

Extended Workshop Abstracts and Talks(selected)

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, Aaron Bies
src splash 2024 🥉 bronze medal
Formalizing Hardware-Software Contracts in Lean
Haoyi Zeng, Thomas Bourgeat
Post’s Problem and the Priority Method in CIC
Haoyi Zeng, Yannick Forster, Dominik Kirst
types 2024

Achievements

Thesis

Teaching

I’m a TA for a number of courses at UdS.

Events


If you are tired, take a look at Baloo.