About Me
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.
Expertise
Organisations
Ancillary Activities
-
Raad voor Accreditatie
Commissie Accreditaties: adviseren mbt het accreditateren van organisaties en bedrijven
Publications
UT Research Information System
Google Scholar Link
Affiliated Study Programmes
Master
Courses Academic Year 2023/2024
Courses Academic Year 2022/2023
Projects
Zorro: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics
- funded by NWO
- Collaboration between TNO-ESI, Saxion, VU
PrimaVera: Predictive Maintenance for Very effective asset management.
- funded by National Science Agenda
- See https://primavera-project.com/
CAESAR: Integrating Safety and Security through stochastic model checking
- funded by ERC Consolidator grant
FORMASIG:
- funded by ProRail and Deutsche Bahn
- Formal methods in railways signaling infrastructure standardisation processes
- https://www.utwente.nl/en/eemcs/fmt/research/projects/formasig/
SEQUOIA: Smart maintenance optimization via big data and fault tree analysis
In the press
- https://www.nu.nl/tech/6256732/gegevens-uit-je-smartwatch-zijn-een-goudmijn-voor-techbedrijven.html
- https://www.tubantia.nl/enschede/even-een-appje-achter-het-stuur-mij-gebeurt-niks-toch~adc31db4/
- https://www.tubantia.nl/enschede/verstrooide-professor-loopt-per-ongeluk-halve-marathon-in-enschede-mijn-man-belde-al-bijna-de-politie~a838c5e7/
Tweets
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3063
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3063
P.O. Box 217
7500 AE Enschede
The Netherlands