!!Holger Hermanns - Biography
\\
Holger Hermanns is full professor at Saarland University, Saarbrücken, Germany, holding the Chair of Dependable Systems and Software on Saarland Informatics Campus, and he is Scientific Director of Schloss Dagstuhl - Leibniz Zentrum für Informatik.\\
\\
Holger Hermanns has previously held positions at Universität Erlangen-Nürnberg, Germany, at Universiteit Twente, the Netherlands, and at INRIA Grenoble Rhône-Alpes, France, and is former Dean of the Faculty of Mathematics and Computer Science at Saarland University.\\
\\
His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, compositional performance and dependability evaluation, and their applications to energy and space informatics. He is an outspoken proponent of proactive algorithmic accountability.\\
\\
Holger Hermanns has authored or co-authored more than 250 peer-reviewed scientific papers (ha-index 92, h-index 57). He co-chaired the program committees of major international conferences such as CAV, CONCUR, TACAS, and QEST, and serves on the steering committee of TACAS. 
\\
Holger Hermanns received the Dutch "Vernieuwingsimpuls" and the German "Preis des Fakultätentages Informatik" award. He is an ERC Advanced Grantee and elected member of Academia Europaea, and holds several other national and European research grants.\\
\\
See [https://d.cs.uni-saarland.de/hermanns] for more information.