A connecting theme of my research is the design of a logical framework that

Current projects

Major research projects I am/was involved in are

Current work, preprints, and paper drafts (always outdated)

All new/recent papers are available in the publications section below.

Publications (often outdated)

All list, tables, and bibtex files are automatically generated using my Scala package for bibliographies. Contact me if you want to use it as well or if you spot any errors.


If I make the slides of one of my talks available, they are linked from the corresponding paper in the publication lists above. I use this set of slides when I give overview talks of my research.



I have received my habilitation at Jacobs University in 2014. My topic was A Scalable Logical Framework. My habilitation committee consisted of the following Jacobs University professors:


I have received my PhD at Jacobs University in 2008. My thesis topic was Representing Logics and Logic Translations. My supervisor was Michael Kohlhase, and my further thesis advisors were Herbert Jaeger, Till Mossakowski, and Frank Pfenning.

Curriculum Vitae (often outdated)

You can find my extended CV here.