I moved to industry! I am now working as a consultant (Risk analysis, Software and Human Reliability) at Delta Pi.

 

Until December 2009, I was an assistant professor in the Formal Methods Group of the Computer Science Department, Technical University Eindhoven. My research subjects were verification of (multiparty) security protocols, parameterised boolean equation systems, epistemic modelling, parallel and distributed algorithms, process algebra, coordination architectures. If you're interested in any of these, you might find something useful in my papers.

 

I got my PhD (in 2004) from the VU University in Amsterdam, for research done within the Specification and Analysis of Embedded Systems theme of CWI (Centrum voor Wiskunde en Informatica). Take a look at my thesis.