Thursday 15 May 2025
We congratulate Yanni Dong, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga with their success of winning the Best Paper Award at the 31st International Symposium on Model Checking Software, 7-8 May, Hamilton, Canada!
More recent news
Fri 5 Jun 2026New colleague and visitors
Mon 1 Jun 2026DMB team taking part in Self Driving Challenge
Tue 26 May 2026Džemila Šero invited as plenary speaker at this year's NWO ICT.Open in Rotterdam
Tue 26 May 2026Tentamenvraag Diamonds of CS - Software Diamond in De Ingenieur
Tue 26 May 2026Kicking off the Week of Education with Ed Brinksma & Innovation Awards