I am currently a PhD student at the Chair for Logic and Verification supervised by Prof. Nipkow. My interests are the semantics of programming languages, the foundations and interoperability of theorem provers, and the formalisation and automation of mathematics using interactive theorem provers like Isabelle.

You can find my PhD website here.


I did my Masters in Mathematics and Foundations of Computer Science at the University of Oxford. My thesis can be found on arxiv: Decision Procedures for Guarded Logics.


I did my Bachelors in Computer Science at TU Munich. Here you can find the teaching material, my seminar papers and thesis, and some complementary material I provided for lectures during that time. All files can also be found in my private cloud.

Summer 2017

Winter 2016/17

Summer 2016

Winter 2015/16

  • Einführung in die Informatik 2 (EIDI 2) - Repetitorium

Summer 2015

Winter 2014/15