Marielle Stoelinga in Atlas (NPO2) 24 March 2021Atlas gemist? Start met kijken op NPO StartRead more
Professor Marielle Stoelinga in AG ConnectSee for the article (in Dutch): Moeten GGD's HPZone wel vervangen en hoe dan? - AG ConnectRead more
Marielle Stoelinga in Atlas (NPO2) 24 March 2021
Professor Marielle Stoelinga in AG Connect- Lukas Miedema wins 1st prize VERSEN MSc Thesis Award
- Wytse Oortwijn wins 1st prize VERSEN PhD award
Prof. dr. Joost-Pieter Katoen appointed member KHMW- Manfred Paul Award for Vadim Zaytsev
- Start VPV project
- Start SAVES project: SCALABLE VERIFICATION OF INDUSTRIAL EMBEDDED CONTROL SYSTEMS
- Prof. Dr. Joost-Pieter Katoen ACM Fellow 2020
- Lisandro Arturo Jimenez Roa finished his Pd Eng project on 23 November 2020
- Lukas Miedema wins 2e prize of the KNVI Thesis prize for Informatics competition
- Vincent Bloemen wins the third 2019-2020 VERSEN PhD Thesis award
