Expertises
Computer Science
- Scheduling
Mathematics
- Classes
- Corner Point
- Cycles
- Finite Graph
- Modeling
- Optimality Criterion
- Wide Class
Organisaties
Nevenwerkzaakheden
- Hogeschool UtrechtMember Supervisory Board (Raad van Toezicht)
- Ruhr Universität BochumMember Supervisory Board (Hochschulrat)
- University of TokyoMember Global Navigation Board
- AAQChair (peer leader) expert panel AAQ
- Erasmus Universiteit RotterdamLid Adviesraad Erasmus Centre for Data Analytics (ECDA)
- NWOChair Assessment Committee LSRIO - National Roadmap Consortia 2024
- NWOChair NWO Assessment Committee Large-Scale Infrastructure
- NWOChair NWO Large-Scale Research Infrastructure assessment committee
Publicaties
2024
Measured Causes: Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente (2024)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 297-308) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15262 LNCS). Springer. Brinksma, E., Langerak, R., Latella, D. & Massink, M.https://doi.org/10.1007/978-3-031-75778-5_14