Dr. Holger Pfeifer
I have left the Institute for Artificial Intelligence and this page will no longer be maintained. For contact information see my new homepage.
At the Institute for Artificial Intelligence, I most recently held a position as Wissenschaftlicher Assistent (German for Scientific Assistant), and my field of research and teaching was formal modelling and verification.
I am interested in applying formal methods, in particular techniques of mechanical theorem proving and model checking, to model and analyse various types of systems, with a special emphasis on the fault-tolerant and safety-critical domain.
See also the complete list of all publications.
- email: Holger.Pfeifer(at)uni-ulm.de