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.

Teaching

Winter 2021/22 Student TA
Mathematics for Computer Scientists 1
Basic Course, Saarland University.
Winter 2021/22 Coach
Mathematics Precourse
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