Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der KünsteSee awk-nrw website for more (in German)Read more- Georgiana Caltais' paper acceptedsee for more info on The 16th International Symposium on Theoretical Aspects of Software Engineering: https://www.cs.ubbcluj.ro/tase2022/index.htmRead more
Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste- Georgiana Caltais' paper accepted
- 2nd place at VerifyThis competition
Science Café - 14 april 2022, 20:00 - 22:00: 'Algoritmen'- AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
- Remco Abraham wins the ENIAC Thesis Award 2020– 2021!
- New FMT member: Georgiana Caltais
- The FMT team had three papers accepted at ETAPS 2022, taking place in Munich on 1 – 7 April 2022
- Moritz Hahn will supervise a joint PhD project with Audi AG Ingolstadt
We welcome Philip Tasche- NWO Take-off Fase 1 grant for Marielle Stoelinga
- Petra van den Bos started as assistant professor
