Marc Hermes

Saarland University Computer Science

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.

Publications

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
Marc Hermes, Dominik Kirst
FSCD 2022, Haifa, Israel, 2022.


Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq (Extended Version)
Dominik Kirst, Marc Hermes
Submitted for review.
Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
Dominik Kirst, Marc Hermes
ITP 2021, Rome, Italy, 2021.

Teaching

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.


Legal notice, Privacy policy