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
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.