Papers of the Month: March 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
Strong Performance of FMT Group at VERSEN Thesis AwardsCongratulations to Stefano Nicoletti, Caz Saaltink, and Valentijn Hol! Stefano got selected for the 2nd place of the VERSEN PhD thesis award, while Caz and Valentijn got selected for the 1st and 2nd place respectively of the VERSEN MSc award.Read more
Papers of the Month: March 2026
Strong Performance of FMT Group at VERSEN Thesis Awards
Rom Langerak Teacher of the Year Computer Science!
Papers of the Months: January and February 2026
PhD defence Bram Kohlen: 12 February, 10:30
20-23 January: CYCLIC Winter School, hosted at the UT
Lola Solovyeva: “AI doesn’t run on magic. It runs on electricity.”
Papers of the Month: December 2025
Florian Bonensteffen will defend his thesis on Friday 5 December
Faizan Ahmed wins the Educational Cake Inter-Actief
NWO Diversity & Inclusion Initiative Award 2025 for Alice & Eve
Valentijn Hol won KHMW Young Talent Master thesis Award for Computer Science
