FMT welcomes three new visitors: Brenda, Lucio and FilizBrenda Dichiara and Lucio Mansilla started last week as research visitors from the National University of Río Cuarto, Córdoba, Argentina. They'll work within the MISSION project.
And today, Filiz Yildiz started her Erasmus Exchange internship. For the coming two months, she will be working on the VerCors tool, supervised by Marieke Huisman.
Welcome to the three of you, we wish you lots of success!Read more
29 June: Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award 2026On Monday 29 June, the KHMW Langerhuizen Oeuvreprijs 2026 has been handed over to Joost-Pieter Katoen. Read the interview.Read more
FMT welcomes three new visitors: Brenda, Lucio and Filiz
29 June: Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award 2026
Fresh DR Philip Tasche!
Research proposal funded!
New colleague and visitors
Papers of the Month: June 2026
Tentamenvraag Diamonds of CS - Software Diamond in De Ingenieur
Kicking off the Week of Education with Ed Brinksma & Innovation Awards
Marieke Huisman interview in Algemeen Dagblad
Ed Brinksma elected as an Honorary Fellow of the Dutch National Association for Software Engineering
Interview on VerCors and Software Reliability
Best student team at VerifyThis 2026
