• Risk management for computer systems
  How do we design our nuclear plants, dikes, railway systems and heart monitors such that they are safe and reliable? I am developing quantitative risk assessments methods that assess if risks related to computing systems meet their required levels. more...
• Specialties
  • quantitative risk assesement (fault trees, architectural analysis)
  • model-based testing
  • (stochastic) model checking
• Resources [ papers | thesis | cv ]
• Program committees [ QEST 13 (co-chair) | FMICS 13 | FMICS 12 (co-chair) | QEST 12 | FIT 12 | YR-CONCUR 12 | QUOVADIS 12 | QUOVADIS 10 | GandALF 12 | CONCUR 11 | more...
• Projects [ ROCKS | SYRUP (NWO) | SLALOM (NWO) | QUASIMODO (EU, FP7) | MOQS (NWO) | Artist 2 (EU) | Voss 2 (Dutch/German) | AiSHA (NWO)
• Upcoming QEST 2013, Buenos Aires, August 27 - 30.

• Performance Analysis (with Anne Remke)
• Quantitative Modeling & Analysis
• Testing Techniques
• Have Fun & Play! (BSc programme Creative Technology
• BSc referaat, track Formal Methods & Software Engineering

• Efficient zoeken in grote tekstbestanden meer...
• Bellen zonder zorgen, gastles en practicum met Uppaal.
• Gastcollege MuseumJeugdUniversiteit bij Twentse Welle. meer...

• BSc thesis projects
• MSc thesis projects
• Internships

Enschede:
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, ride my bike, read, have a beer, run, go to the gym, listen to music, cook, and enjoy life.
• I am on the board of the Intercultural Women's Organization SIVE.