Kurzer Lebenslauf
Ich bin im Projekt AVACS, Automatische Verifikation und Analyse komplexer Systeme, beschäftigt. AVACS ist ein Sonderforschungsbereich, an dem die Universitäten von Freiburg, Oldenburg und Saarbrücken beteiligt sind. Ich gehöre dem Lehrstuhl für Grundlagen der Künstlichen Intelligenz von Prof. Dr. Bernhard Nebel an. Seit Juli 2009 bin ich habilitiert.
Von 2001 bis 2004 war ich im Projekt MMISS, Multimedia-Instruktion in Sicheren Systemen, beschäftigt. MMISS war ein Gemeinschaftsprojekt der Universitäten von Bremen, Freiburg, Hagen, München, und Saarbrücken. Ich gehörte dem Lehrstuhl für Softwaretechnik von Prof. Dr. David Basin an.
Von 1999 bis 2001 war ich Stipendiat des ERCIM Postdoktoranden-Programms. Ich habe neun Monate am INRIA verbracht, wo ich mit Pierre Deransart zusammengearbeitet habe. Anschließend habe ich elf Monate am CWI verbracht, wo ich mit Krzysztof Apt zusammengearbeitet habe.
Von 1996 bis 1999 habe ich an der University of Kent at Canterbury promoviert. Mein Diplom habe ich an der Universität des Saarlandes (Max-Planck-Institut) gemacht.
