Born and raised in the south-eastern province of Limburg in the Netherlands I got my masters degree in computer science from the Formal Methods and Tools group at the University of Twente in 2006. In early 2007 I joined the Depend group here in Saarbruecken to pursue a PhD in computer science.
My main research interest is the field of compositional Markov models. My personal goal is to combine the powerful idea of compositionality with Markovian models (a type of probabilistic models). Specifically I am working on modeling formalisms that are mathematically sound and meaningful on the one side and efficiently analyzeable on the other side. It is also important not to forget possbile application areas for these compositional Markov models such that the models are not only beautiful but also useful. Application areas that I am interested in include dependable systems, security and cellular biology.
I am a member of the following research projects/consortiums:
|Dependable Systems & Software Group||Department of Computer Science||Universität des Saarlandes|