Professor of Risk Management for High-tech systems
How do we design our robots, nuclear plants, railway systems and heart monitors such that they are safe and reliable? How do we make sure that data centers and water supply systems are aways available?
I am developing quantitative risk assessments methods that ensure that the risks related to high tech systems lie within acceptable boundaries. I develop techniques to analyze, predict, improve reliability of complex systems, using fault trees, model-based testing, and architectural reliability modeling.
Technically, distinguishing feature of my techniques is compositionality: I derive risk profiles from a complex systems from component risk profiles, using powerful techniques from model checking. This makes life easy, flexible and fast.
Further, I am the director of Life Long Learning at EEMCS.
I also hold a 0.2 appointment as a full professor at the Radboud University Nijmegen.
Expertises
Computer Science
- Fault Tree
- Models
- Attack
- Model Checking
- Case Study
- model based testing
- Algorithms
- Testing
Organisaties
Nevenwerkzaakheden
- Radboud UniversityFul professor (part-time)
- Schouten & Nelissen University of Applied SciencesAdvisory council Master Quality Management at Schouten & Nelissen
- Raad voor AccreditatieCommissie Accreditaties: adviseren mbt het accreditateren van organisaties en bedrijven
- PLANETARTSupervisory board PLANETART
- Nyenrode UniversityAdvisory council, Executive Insurance Program, Nyenrode
Publicaties
Onderzoeksprofielen
Verbonden aan opleidingen
Vakken collegejaar 2023/2024
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
- 191211650 - Multi-Disciplinary Design Project
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202100161 - Graduation Project Part II M12
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
Vakken collegejaar 2022/2023
- 191211650 - Multi-Disciplinary Design Project
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Masteronderzoek ECB Informatica
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202100087 - Introductie & Risk & Resilience Festival
- 202100092 - Masterthesis Master Risicomanagement
- 202100098 - Studiereis & Reflectie
- 202100100 - Integraal Veiligheidsman. & Risicoman.
- 202100161 - Graduation Project Part II M12
- 202100340 - Combined Final Project EE/S&C
- 202200251 - Capita Selecta DST
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3063
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3063
Postbus 217
7500 AE Enschede