Haoyi

Haoyi Zeng

Hey! I’m a PhD student in computer science at Harvard University, Cambridge. I work on program logics and formal verification, and I’m currently interning at Microsoft Research, Cambridge.

📬 haoyizeng@g.harvard.edu

📝 Curriculum Vitae


Research Papers (* equal contribution)

Post’s Problem in Constructive Mathematics
Haoyi Zeng, Yannick Forster, Dominik Kirst, Takako Nemoto
draft
A Deductive System for Contract Satisfaction Proofs
Arthur Correnson, Haoyi Zeng, Jana Hofmann
pldi 2026
The Blurred Drinker Paradox
Dominik Kirst*, Haoyi Zeng*
lics 2025 ⭐ distinguished paper award
lmcs invited journal version
Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
pldi 2025 ⭐ distinguished paper award

Workshop Papers (selected)

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

Achievements

Thesis

Teaching

I have been a teaching assistant for the following courses at Saarland University:

Service

Events


If you are tired, take a look at Baloo.