New Doctor: Stefano NicolettiWe congratulate Stefano Nicoletti with his newly obtained doctor's title: last week, 26 November, he successfully defended his thesis If a Tree Falls in the Forest: Risk Logics for Safety-Security Analysis. Stefano will continue to work in the FMT group as a post doc.Read more
Papers of the Month: November 2024EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
New Doctor: Stefano Nicoletti
Papers of the Month: November 2024
FMT congratulates Prof. Joost-Pieter Katoen on his 60th birthday
New FMT member: Benedikt Peterseim
Runner-Up Notification: 2024 Informatics Europe Minerva Informatics Equality Award
Marielle features in Nu.nl
Welcome to Pablo Diale, guest researcher!
Two new Doctors!
Three new FMT members!
Papers of the Month: September 2024
Papers of the Month: July and August 2024
Petra van den Bos (FMT) and Silke Glas (MAST) among awardees in NWO’s Open Competition ENW-M
