My name is Marc Hermes and I wrote my master’s thesis in mathematics in collaboration with the Programming Systems Lab.
I have a great interest in logic, formalization and constructive mathematics; which led me to the topic of my master thesis here: a formalization of Peano arithmetic in Coq.
Regarding this, there are a few things I would like to explore more deeply, notably the incompleteness theorems and self-verifying theories.
In October 2022 I started my PhD at the Institute for Computing and Information Sciences in Nijmegen under the supervision of Robbert Krebbers. You will find all up to date information on my personal website.
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Marc Hermes, Dominik Kirst
FSCD 2022, Haifa, Israel, 2022.
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. |