Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Holger Hermanns

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.

Country: Germany

Affiliation: Saarland University

Personal website: https://depend.cs.uni-saarland.de/~hermanns/

Contributions

VMCAI 2019Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track
Show activities from other conferences

Using general profile