Thursday 21 May 2026
Marieke Huisman gave an interview for Computable in which she talked about VerCors and software verification. You can find the article here
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