Haoyi

Haoyi Zeng

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

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

📝 Curriculum Vitae

Upcoming Events


Ongoing Projects

Formalizing Hardware-Software Contracts in Lean
Haoyi Zeng, Thomas Bourgeat

Research Papers (* equal contribution)

Post’s Problem in Constructive Mathematics
Haoyi Zeng, Yannick Forster, Dominik Kirst, Takako Nemoto
draft
The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
Dominik Kirst*, Haoyi Zeng*
lics 2025 ⭐ distinguished paper
Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
pldi 2025

Extended Workshop Abstracts(selected)

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
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.