Awarded ERC Advanced Grant POWVER and ERC Proof-of-Concept Grant LEOpowver. Involved in organizing and participating in various academic conferences such as TACAS, ADHS, etc.
Research Experience
Served as Dean of Studies of the Faculty of Mathematics and Computer Science from April 2004 to March 2006, and as its Dean from April 2010 to March 2012.
Background
Professor of Computer Science at Saarland University, heading the Dependable Systems and Software group, and Scientific Director of Schloss Dagstuhl - LZI. Member of Academia Europaea and co-spokesperson of the Center for Perspicuous Computing.