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

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