Biosketch: Prof. Dr.-Ing. Holger Hermanns

Prof. Dr.-Ing. Holger Hermanns is a full professor in the Department of Computer Science at Saarland University, Germany, holding the chair for Dependable Systems and Software since 2003.

Holger Hermanns studied at the University of Bordeaux, France, and the University of Erlangen/Nürnberg, Germany, where he received the diploma (with honours) in Computer Science in 1993 and a Doctoral degree (with honours) from the Department of Computer Science in 1998. From 1998 to 2006, he has been with the University of Twente, The Netherlands, holding an associate professor position since October 2001. He is the first computer scientist to ever receive the Dutch national innovation award 'Vernieuwingsimpuls' (2001).

His research interests include modelling and verification of concurrent systems, resource-aware embedded systems, and compositional performance and dependability evaluation, including dependable energy distribution grids.  In these areas he has authored or co-authored more than 120 peer-reviewed scientific papers (h-index 34). He has served on various organising and programme committees (more than 40 in the last 5 years), has co-chaired the programme committees of major international conferences such as TACAS 2006, CONCUR 2006, and CAV 2007, has served on the steering committees of ETAPS and QEST, and has authored a monograph in the LNCS series of Springer-Verlag based on his dissertation. He is a founding member and principal investigator of the German special research initiative SFB AVACS and holder of several other national and European research grants.