Dr. rer. nat.
+49 89 3603522 29
Holger Pfeifer is a Senior Scientist and heads the Software Dependability group. His research interests focus on methods and tools for the engineering of dependable systems. He is currently coordinating the innovation project "CPS Engineering Labs" (CPSE Labs), a European network of Design Centres with a mission to support small and medium-sized businesses innovate with digital technologies and develop dependable and trustworthy CPS products and services. Before joining fortiss, he was a staff researcher at the Chair for Software and Systems Engineering at Technische Universität München, where he led the activities on cyber-physical systems in the European KIC project EIT Digital. He studied Computer Science at Ulm University, Germany, and obtained his PhD on formal modelling and verification of distributed algorithms in 2003.