Marc Hermes

Saarland University Computer Science

My name is Marc Hermes and I am currently working on my master’s thesis at the Programming Systems Lab. I am a Math student with a great interest in logic and formalisation; which led me to the topic of my master thesis here: a formalisation of Peano arithmetic. Regarding this, there are a few things I would like to explore more deeply, notably the incompletness theorems and self-verifying theories.


Legal notice, Privacy policy