A connecting theme of my research is the design of a logical framework that
- encompasses set/model and type/proof theoretical frameworks and different mathematical foundations without committing to any of them,
- leverages modularity on all levels,
- supports the integration of reasoning systems based on different logics,
- is seamlessly integrated with tools such as compilers, IDEs, databases, browsers,
- scales to the web.
I have received my PhD at Jacobs University as well. 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.
Current work, preprints, and paper drafts (always outdated)
A Logical Framework Combining Model and Proof Theory (under review)
A Scalable Module System (under review)
The Mizar Mathematical Library in OMDoc: Translation and Applications (under review)
Logical Relations in Dependent Type Theory (under review)
Publications (often outdated)
My publication lists 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.
Slides
If I make the slides of one of my talks available, they are linked from the corresponding paper in the publication lists above.
Curriculum Vitae (often outdated)
You can find my extended CV here.