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
- Automaton
- Case Study
- model based testing
- Algorithms
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
2024
2023
Onderzoeksprofielen
Verbonden aan opleidingen
Vakken collegejaar 2024/2025
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
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202400425 - Graduation Project II
Vakken collegejaar 2023/2024
- 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
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3063
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3063
Postbus 217
7500 AE Enschede
Organisaties
Download vCard