I am a Privatdozent (PhD. in 2008, habilitation in 2014) and Oberrat (roughly corresponding to Assistant/Associate 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 a Professor in 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, ...
• knowledge management: representation languages, formal modeling, databases, scalability, semantic web, ...
• universal knowledge representation and system integration: frameworks, modularity, system interoperability, ...
• foundations of mathematics and computer science: logic, set theory, type theory, category theory, model theory, proof theory, ...

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).