Kontakt
|
|
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. Mehr….
Lehre
Im WS01/02 und im WS02/03 habe ich die Übungen zur Vorlesung Computerunterstütztes Modellieren und Beweisen geleitet. Die Vorlesung wurde von Prof. Dr. David Basin und Dr. Burkhart Wolff gehalten. Im WS03/04, WS04/05, WS05/06, WS06/07 und WS07/08 habe ich die Vorlesung alleine gehalten. Im WS08/09 halte ich sie wiederum. Es gibt auch eine allgemeine Webseite (ohne Bezug auf ein bestimmtes Semester) über das Kursmaterial.
Forschungsinteressen
Seit Sommer 2004 forsche ich im Bereich hybride und „timed" Automaten. In meiner früheren Forschung ging es hauptsächlich um die logische Programmierung. Mehr…Veröffentlichungen
Ich habe etwa zwanzig (begutachtete), größtenteils gemeinschaftliche Veröffentlichungen auf englisch et une en français, leider keine auf deutsch.Vollständige Liste
