I am a professor in computer science in the knowledge representation group at University of Erlangen.
Additionally, I am a Visiting Academic (1 day/week) at Amazon Web Services.
During the Summer 2024 semester I am at the Department Digital Humanities and Social Studies at the Philosophical Faculty.
Previously, I was at Jacobs University Bremen and LRI Paris (part of Univerity Paris Sud).
I am interested in

formal languages and semantics: programming languages, logics, data description languages, ...
foundations of mathematics and computer science: logic, set theory, type theory, category theory, model theory, proof theory, ...
universal representation languages: frameworks, modularity, translations, ...
knowledge management: representation languages, formal modeling, system interoperability, scalability, semantic web, ...
formal methods: theorem proving, system verification, trustworthy language translations and combinations, ...

My research covers the entire spectrum of formal systems including language design, tool implementation, library building, and applications.
Application ares include computer science, mathematics, physics, engineering, and social sciences.

See UniFormal and the MMT system for my main research project.

See here for full CV (very long), short CV (2 pages listing all the highlights), and my very short CV (1 slide).