I am a post-doctoral researcher (PhD. in 2008) in computer science in the Kwarc research group at Jacobs University Bremen. I am now heading the theory subgroup of Kwarc consisting of myself and about 8 students. My research interests are

• foundations of mathematics: logic, set theory, type theory, category theory
• logic: model theory, proof theory, logical frameworks, logic translations
• modularity: module systems for mathematics, logics, and mathematical foundations
• mathematical knowledge management: scalable representation languages, databases, mathematics on the web, system integration

• The LATIN project on formalizing logics and logic translations (abstract)
• The MMT language and system, a foundation-independent web-scalable module system for mathematics
• The Twelf module system, a module system for Twelf