I am a Privatdozent (PhD. in 2008, habilitation in 2014) in computer science employed at Jacobs University Bremen.

During the Spring 2017 semester, I am a substitute professor (Professorenvertretung) at Jacobs.

I am interested in

- formal languages and semantics: programming languages, logics, data description languages, ...
- knowledge management: representation languages, databases, scalability, semantic web, ...
- universal knowledge representation and system integration: frameworks, modularity, translations, ...
- foundations of mathematics and computer science: logic, set theory, type theory, category theory, model theory, proof theory, ...