Thursday 21 May 2026
The student team "VerCors --dev-unsafe-optimization" got chosen as one of the two best student teams at the 2026 edition of VerifyThis. Congratulations to Alexander Stekelenburg and Ömer Şakar for this achievement!
See Best student team at VerifyThis 2026 · VerCors Tool FMT | UTwente
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