Papers of the Month: July 2026EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
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
Papers of the Month: July 2026
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
