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

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