Dr. Holger Pfeifer

Ich habe das Institut für Künstliche Intelligenz verlassen. Diese Seite wird daher nicht mehr gepflegt. Kontaktinformationen finden sich auf meiner neuen Homepage.

Ich war zuletzt Wissenschaftlicher Assistent und arbeitete in Forschung und Lehre auf dem Gebiet der formalen Modellierung und Verifikation.

Mein Interesse liegt dabei auf der Anwendung formaler Methoden, insbesondere von Techniken des maschinellen Beweisens und der Modellüberprüfung (engl. model checking), zur Modellierung und Analyse von Systemen unterschiedlichster Art, vor allem jedoch aus dem fehlertoleranten und sicherheitskritischen Bereich.

Ausgewählte Veröffentlichungen

Weitere Arbeiten sind in der vollständigen Liste aller Veröffentlichungen aufgeführt.