Rom Langerak Teacher of the Year Computer Science!The Inter-Actief study association announced Rom Langerak as winner of the CS Teacher of the Year elections, see Study Association Inter-Actief :: Winners IDEA We of course celebrated this happy fact with cake!Read more
Papers of the Months: January and February 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
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
Papers of the Month: November 2025
Lisandro Jimenez won PhD thesis award
