• Risk management for computer systems. How do we design our self-driving cars, nuclear plants, railway systems and heart monitors so that they are safe and reliable? I develop quantitative risk assessments methods that assess if risks related to computing systems meet their required levels more...
  
  
• Specialties. quantitative risk assessment | model-based testing | (stochastic) model checking
  
  
• Team members. Djurre van der Wal | Carlos Budde | Muhammad Chenariyan Nakhaee Carlos Budde | Marcus Gerhold | Jeroen Meijer | earlier members...
  
  
• Program committees. FASE 21 (co-chair) FORMATS 19 (co-chair) | RSS-RAIL 19 | FM 19 | FSEN 19 | more...
  
  
• Projects. PrimaVera (NWO) | SEQUOIA (STW/ProRail/NS) | SUCCESS (EU) | SUMBAT (STW) | earlier projects...
  
  
• Keynotes and Summerschools Formalise'18 | WorldClass Maintenance'18 | TRENDS'18 | MOVEP'18 | CREST'18 | Test Automation Day'16 |

• I am the scientific programme director of the professional MSc programme on Risk Management.
  
  This is a 70 EC Master programme for professionals.

• Testing Techniques
• Software Science
• Have Fun & Play! (BSc Creative Technology)
• Project supervision: BSc projects | MSc projects | Internships

• Geheime codes, hoe maak je ze, hoe kraak je ze?
• ScienceCafe Zabuki / Twente Academy Young / Twentse Welle.
• Efficient zoeken in grote tekstbestanden meer...

Video:
Lecture on Risk Management (in Dutch)

• I spent some wonderful years as a postdoc with Luca de Alfaro at University of California at Santa Cruz
• Before that, I wrote 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, and enjoy life
• Former board member of Intercultural Women's Organization SIVE and Female faculty Network Twente