Marieke Huisman gave keynote at ICT.OPENAt the ICT.OPEN conference, on 16 April, Marieke Huisman gave a keynote presentation, which was well-received: 'The future of software verification'. See Marieke Huisman | ICT OpenRead more
Marieke Huisman appointed as IPN chairAt the ICT.OPEN conference of 15 and 16 April, Marieke Huisman has been appointed as chair of the ICT-Research Platform Netherlands (IPN) for the coming three years. See https://ictopen.nl/speakers/marieke-huisman
We wish Marieke lots of success and fun in this new role!Read more
Marieke Huisman gave keynote at ICT.OPEN
Marieke Huisman appointed as IPN chair
Papers of the Month: April 2025
Papers of the Month: March 2025
Fernando Castor featured in Studium Generale:
Welcome to María Belén Rodríguez!
Marielle Stoelinga appointed as member of KHMW
Papers of the Month: February 2025
Papers of the Month: January 2025
Welcome to Robert, Mark and Shoaib!
NWO ENW-XL Open Competition Grant to improve the quality of software awarded to Georgiana Caltais
ENIAC thesis award for Jerre Starink
