Since September 2008, I am a PhD student (AIO) in the
Formal Methods and
Tools group of the
Department of Computer Science at the
University of Twente.
I am 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 participate in the IPA research school (Institute for Programming Research and Algorithmics). I am also a member of its Ph.D. Council.
I am 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 participate in the IPA research school (Institute for Programming Research and Algorithmics). I am also a member of its Ph.D. Council.