My name is Marc Hermes and I wrote my master’s thesis about the mechanization of first-order Peano arithmetic in collaboration with the Programming Systems Lab.
For the most up to date information and a full list of my publications please visit:
My personal website
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Marc Hermes, Dominik Kirst
Logical Methods in Computer Science, Volume 20 Issue 1
| Summer 2022 | Student TA
Introduction to Computational Logic Core Course, Saarland University. |
| Winter 2021/22 | Student TA
Mathematics for Computer Scientists 1 Basic Course, Saarland University. |
| Winter 2021/22 | Coach Mathematics Pre-Course Saarland University. |
| Summer 2021 | Student TA Introduction to Computational Logic, Core Course, Saarland University. |
| Summer 2020 | Student TA Topology 2, Advanced Course, Saarland University. |
| Winter 2019/20 | Student TA Topology 1, Advanced Course, Saarland University. |
| Winter 2018/19 | Student TA Linear Algebra 1, Basic Course, Saarland University. |
| Winter 2016/17 | Student TA Analysis 1, Basic Course, Saarland University. |