Holger Hermanns - Biography#
Holger Hermanns is a full professor at the Department of Computer Science at Saarland University, Saarbrücken, Germany, holding the chair for Dependable Systems and Software. He is former Dean of the Faculty of Mathematics and Computer Science at Saarland University, and has previously held positions at Universität Erlangen Nürnberg, Germany, at Universiteit Twente, the Netherlands, and at INRIA Rhône-Alpes, Grenoble, France.
His research interests include modeling and verification of concurrent systems, resource-aware embedded systems, and compositional performance and dependability evaluation, including dependable energy distribution grids. In these areas, Holger Hermanns has authored or co-authored more than 150 peer-reviewed scientific papers (ha-index 92, h-index 45). Holger Hermanns co-chaired the program committees of major international conferences such as TACAS 2006, CONCUR 2006, CAV 2007, and QEST 2012 and delivered keynotes among others at the CONCUR 2010, SEFM 2011, ETAPS/TACAS 2012, and ECC 2013 conferences. He serves on the steering committees of ETAPS and TACAS. He is president of the association "Friends of Dagstuhl e.V.", and vice president of the association "ETAPS e.V.".
Holger Hermanns received the Dutch "Vernieuwingsimpuls" and the German "Preis des Fakultätentages Informatik" award, was Otto Mønsted-Guest Professor at the Technical University of Denmark. He is an ERC Advanced Grantee and elected member of Academia Europaea, holds several other national and European research grants.
See http://d.cs.uni-saarland.de/hermanns for more information.