Friday 25 April 2025
At 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 Open
More recent news
Mon 8 Jun 2026Research proposal funded!
Fri 5 Jun 2026New colleague and visitors
Fri 5 Jun 2026Papers of the Month: June 2026
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