I’m originally from Luxembourg, but I completed my undergraduate studies in Germany, where I earned a Bachelor’s degree in Physics and a Master’s in Mathematics. During my Master’s program, I explored a variety of fields, including Machine Learning, Probability Theory, Topology, and Logic, before focusing my thesis within an intersection with computer science, on computer-assisted theorem proving.
- Modular Verification of Intrusive List and Tree Data Structures in Separation Logic
- 👥 Marc Hermes, Robbert Krebbers
- Published at ITP 2024
- An Analysis of Tennenbaum’s Theorem in Constructive Type Theory
- 👥 Marc Hermes, Dominik Kirst
- 🏆 Won the Award for Best Paper by Junior Researchers (FSCD 2022)
- 📘 Included in the Journal Logical Methods in Computer Science (Volume 20 Issue 1).
- Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq
- 👥 Dominik Kirst, Marc Hermes
- 🔖 First published at ITP 2021
- 📘 Extended version in the Journal of Automated Reasoning (Volume 67)
- My Master Thesis: Modeling Peano Arithmetic in Constructive Type Theory