• I am an assistant professor in the Formal Methods & Tools group headed by Ed Brinksma, University of Twente, the Netherlands.
• Research interests:
  • formal verification & testing
  • probabilistic, hybrid, timed systems
  • game theory
• [ papers | thesis | cv ]
• Program committees
  • Formats 05
  • Fit to submit? Submit to FIT!

• afstudeeropdrachten & stageplaatsen

• Algorithms, data structures & complexity (2nd quarter, instruction).
• Modeling & Analysis of Concurrent Systems (MACS 2) (2nd quarter, lecture on Games for Verification).
• Caput & referaat (3rd & 4th quarter).
• Testing Techniques (4th quarter).

Enschede:
the home town of Grolsch beer

• I spent some wonderful years as a postdoc with Luca de Alfaro at University of California at Santa Cruz.
• Before that, I did my PhD with Frits Vaandrager at University of Nijmegen, the Netherlands.
• I like to hike, dance, hang out on the couch with Peter, play board games, ride my bike, read, have a beer, run, listen to music, cook, and enjoy life.
• Pics from Mt Whitney trip.
• My brother and my dad.