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 Hofmann at MPI-SP.

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

📝 Curriculum Vitae


Research Papers (* equal contribution)

Interactive Proofs for Hardware-Sofware Contracts
Arthur Correnson, Haoyi Zeng, Jana Hofmann
draft
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
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, Aaron Bies
src splash 2024 🥉 bronze medal

Talks(selected)

Formalizing Hardware-Software Contracts in Lean
Joint work with Thomas Bourgeat
mpi-sws 2024
Post’s Problem and the Priority Method in CIC
Joint work with Yannick Forster, Dominik Kirst
types 2024
The Downward Löwenheim-Skolem Theorem and the Blurred Drinker Paradox
Joint work with Dominik Kirst
saarland university 2023

Achievements

Thesis

Teaching

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

Events


If you are tired, take a look at Baloo.