Dr. Holger Pfeifer hat die Universität Ulm verlassen. Diese Seite wird nicht mehr gepflegt.

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.

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