My name is Haoyi Zeng and I am currently doing my Bachelor's degree at Saarland University. I am working on a Bachelor's thesis at the Programming Systems Lab. Before that, I also finished a research project here.
Post’s Problem and the Priority Method in CIC (pdf)
Haoyi Zeng, Yannick Forster, and Dominik Kirst
Types 2024, Copenhagen, Denmark, 2024.
The Blurred Drinker Paradox and Blurred Choice Axioms for the Downward Löwenheim-Skolem Theorem (pdf)
Dominik Kirst, Haoyi Zeng
Types 2024, Copenhagen, Denmark, 2024.
Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem (pdf)
Dominik Kirst, Haoyi Zeng
Logic Colloquium 2024, Gothenburg, Sweden, 2024.
| Summer 2023 | Student TA Introduction to Computational Logic Core Lecture, Saarland University. |
| Summer 2023 | Student TA Programming 2 Basic Course, Saarland University. |
| Mail: | haze00001@stud.uni-saarland.de |