Haoyi

Haoyi Zeng

Hey! I’m a computer science graduate student at Harvard University. I’m broadly interested in verification, programming languages, hardware security, and type theory.

📬 (λx. λy. x@g.y.edu) (haoyizeng) (harvard)

📝 Curriculum Vitae


Research Papers (* equal contribution)

A Deductive System for Contract Satisfaction Proofs
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
fp@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
psl@uds 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.