I am a Privatdozent (PhD. in 2008, habilitation in 2014) in computer science employed at both LRI Paris (part of Univerity Paris Sud) and the knowledge representation group at University of Erlangen.
Previously, I was at Jacobs University Bremen.
I am interested in

See UniFormal and the MMT system for my main research project.