Welcome to my homepage.

I'm a computer science researcher in the field of formal modelling and verification. My research interests focus on the application of formal methods, in particular techniques of deductive theorem proving and model checking. I have been using such methods to model and analyse various types of systems, with a special emphasis on the fault-tolerant and safety-critical domain. I have obtained a diploma (MSc) in Informatics and a doctorate rerum naturalium, both from Ulm University, in 1995 and 2003, respectively.

The pages on this site provide an overview of my research, and are also intended to ensure the continued availability of material that I have shared via my previous homepage at Ulm University, where I have worked until 2010. For more information, please see my research profile and my publications.

Holger Pfeifer Portrait
Contact Information