Zie Nieuws

Prof.Dr.ir. Joost-Pieter Katoen ACM Fellow 2020 voor zijn bijdragen aan software model checking en probabilistische systemen

2020 ACM Fellows zet hedendaagse computerinnovaties in de spotlights. 

Voor meer informatie, lees het Engelstalige bericht.