Holger Hermanns

Holger Hermanns is a Professor at Saarland University, holding the Chair for Dependable Systems and Software within the Faculty of Mathematics and Computer Science on the Saarland Informatics Campus. He has held academic positions at Universiteit Twente (Netherlands), INRIA Rhône-Alpes (France), and Universität Erlangen-Nürnberg (Germany), with part-time roles at INRIA (2007-2010) and Universiteit Twente (2001-2006).

His research spans modeling and verification of concurrent systems, resource-aware embedded systems, compositional performance evaluation, and energy informatics. Recent work focuses on satellite network architectures, AI-driven system management, and ethical considerations in algorithmic accountability.

• Authored over 200 peer-reviewed papers (ha-index 92, h-index 56)
• Co-chaired program committees for CAV, CAV, CONCUR, TACAS, and QEST
• Keynote speaker at numerous international conferences

Honors include the ERC Advanced Grant (2016), Preis des Fakultätentages Informatik (2013), and membership in Academia Europaea (2013). He serves on steering committees for ETAPS and TACAS, and has led Dagstuhl Foundation initiatives.