- 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