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