• 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 [ CONCUR 11 | YR-CONCUR 11 | QEST 10 | ACM SAC 10 | Testdag 09 | T4CIA 09 | ACM SAC 09 | more...
• Projects [ ROCKS | SYRUP (NWO) | SLALOM (NWO) | QUASIMODO (EU, FP7) | MOQS (NWO) | Artist 2 (EU) | Voss 2 (Dutch/German) | AiSHA (NWO)
• Upcoming Nederlands Testdag, 29 november 2011 @ Utwente

Gastlessen havo/vwo
• Efficient zoeken in grote tekstbestandenmeer...
• Bellen zonder zorgen, gastles en practicum met Uppaal.

Course modules:
• Performance Analysis (with Anne Remke)
• Quantitative Modeling & Analysis
• Testing Techniques
Project supervision
• 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.