Mark Timmer received the award for the best PhD dissertation in 2013  in the region Overijssel, the Netherlands for his thesis Efficient Modelling, Generation and Analysis of Markov Automata.  Mark obtained his PhD degree from the University of Twente, and was supervised by Joost-Pieter Katoen, Jaco van de Pol and Marielle Stoelinga. See also http://www.utwente.nl/nieuwsevents/!/2014/11/350971/overijssel-phd-award-voor-mark-timmer.