Thursday 28 April 2016
The GI/ITG Technical Committee of "Measurement, Modelling and Evaluation of Computing Systems" has awarded to Arnd Hartmanns the MMB Dissertation Award 2016 at the biennial MMB & DFT conference in Münster on April 5, 2016.Arnd Hartmanns completed his Ph.D. with a thesis titled "On the Analysis of Stochastic Timed Systems" at Saarland University, Germany, supervised by Prof. Holger Hermanns. He joined the Formal Methods and Tools Group at the University of Twente as a postdoc in October 2015.
