Mark Timmer
I did my PhD from September 2008 until September 2013 in the Formal Methods and Tools group of the Department of Computer Science at the University of Twente.

I was involved in the SYRUP project, short for SYmbolic RedUction of Probabilistic Models. My research interests are Process Algebra, Stochastics and Probability Theory in Formal Methods, and Formal Testing Theory.

I participated in the IPA research school (Institute for Programming Research and Algorithmics); I was also a member of its Ph.D. Council.

On September 13, 2013, I defended my thesis

    "Efficient Modelling, Generation and Analysis of Markov Automata"

Currently, I'm working as a postdoc at FMT and as a mathematics teacher at Carmel College Salland.