Holger Hermanns

Holger Hermanns is a Full Professor of Computer Science at Saarland University, Germany, where he leads the Dependable Systems and Software group. He is co-spokesperson of the Center for Perspicuous Computing (SFB/TRR 248) and has been a scientific director at Schloss Dagstuhl – Leibniz Center for Informatics since 2025. He is a member of Academia Europaea and holds an ERC Advanced Grant (POWVER) and a Proof-of-Concept Grant (LEOpowver). His leadership roles include former Dean of the Faculty of Mathematics and Computer Science and active service in major academic organizations such as the ETAPS Association (Vice President) and Friends of Dagstuhl (President, 2013–2023).

• Education: Researcher and academic positions at Universität Erlangen-Nürnberg (1993–1998), Universiteit Twente (1998–2006), and INRIA Grenoble Rhône-Alpes (2007–2010).

His research focuses on modeling and verification of concurrent systems, stochastic behavioral modeling, energy informatics, and proactive algorithmic accountability. He is a leading figure in probabilistic model checking, formal methods for cyber-physical systems, and software dependability. His work bridges theory and practical applications in satellite systems, AI safety, and environmental monitoring.

The recent publications reflect a strong trend toward AI accountability, software doping detection, formal verification of machine learning systems, and dependable satellite network design. His team develops tools like RTLola and Momba, integrating formal methods into real-world systems. There is a growing emphasis on interdisciplinary work, particularly in human oversight of AI and ethical algorithmic design.

Scientific Awards and Recognition:

• ERC Advanced Grant POWVER
• ERC Proof-of-Concept Grant LEOpowver
• Member, Academia Europaea (2013)
• Dutch Vernieuwingsimpuls (2001)
• Preis des Fakultätentages Informatik (2013)
• ERC Advanced Investigators Grant (2016)
• Otto Mønsted-Guest Professorship (2013)

Hermanns has advised numerous students and researchers, though specific names are not listed. He leads major research grants, including ERC projects and collaborative efforts within SFB/TRR 248. His leadership extends to program committees of top conferences such as CAV, CONCUR, TACAS, and QEST, and he has chaired LICS and ICALP.

He is affiliated with the Dependable Systems and Software lab at Saarland Informatics Campus and contributes to the Schloss Dagstuhl ecosystem as scientific director and former president of its support association. His recent work is increasingly centered on the AI Act, algorithmic transparency, and the formal foundations of trustworthy AI.