Not registered as user yet
Name: Holger Hermanns
Bio: Holger Hermanns is a full professor in computer science at Saarland University in Germany, heading the Dependable Systems and Software group. From April 2004 to March 2006, Holger Hermanns has served as Dean of Studies of the Faculty of Mathematics and Computer Science, and has served as its Dean from April 2010 to March 2012. Afterwards he did his best to serve as Dean of Hearts. Holger Hermanns is elected member of Academia Europaea. In 2016 he got awarded an ERC Advanced Grant.
Affiliation: Saarland University
Personal website: https://depend.cs.uni-saarland.de/~hermanns/
|VMCAI 2019||Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track|
|Show activities from other conferences|