I am a professor in the computer science department of the Technical Faculty at the University of Erlangen, where I am a member of the knowledge representation group.
Additionally, I am a Visiting Academic (1 day/week) at Amazon Web Services.
During the summer semester I was professor 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).