Marc Hermes
Originally I’m from Luxembourg and earned my Bachelor’s degree in Physics in Germany. During my Master’s program, I became very captivated by the use of computers to verify mathematical proofs, leading me to switch fields to Mathematics in order to explore this further in my Master Thesis.
While this makes me a mathematician by training, I’m arguably more of a logician by practice. As you can see below, I have done some work on the intersection of computer-verified mathematics, first-order arithmetic and computability theory, in particular making use of an approach coined synthetic computability.
I am currently looking for a PhD position in the area of mathematical logic, interested in continuing research on mechanized mathematics, topics like paraconsistent logics, the boundaries of the incompleteness theorems, or combinations of these themes.
If you are interested or have any pointers for me in this regard, please feel free to reach out!
Selected Publications
- An Analysis of Tennenbaum’s Theorem in Constructive Type TheoryLogical Methods in Computer Science, Mar 2024
- Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in CoqJournal of Automated Reasoning, Mar 2023
News
Jun 26, 2023 | Going to attend the this year’s OPLSS in Eugene. Very much looking forward to it! |
---|---|
May 22, 2023 | I will be at the Iris Workshop 2023. It takes place in Saarbrücken, the city in which I completed BA & MA studies! |
Jan 17, 2023 | Received a scholarship to go to the PLMW workshop @ POPL 2023 |
Nov 07, 2022 | I’m attending the Autumn School on Proof Theory 2022 in Utrecht. |
Latest Posts
Dec 02, 2023 | Not all Contradictions are created equal |
---|---|
Nov 19, 2023 | Co-Leibniz Identity for Decidability |
Jul 22, 2022 | 🚴🏻♀️ Do finite Functions cycle 🚴🏿 together? 🚴♂️ |