Mohsen Safari successfully defended his PhD thesisMohsen Safari started his research beginning of February 2018 within the MERCEDES project, and was supervised by prof. dr. Marieke Huisman. This research resulted in a solid thesis: 'Correct Optimized GPU Programs'.Read more- Arend Rensink won the Best Reviewer Award 2022We congratulate Arend with the award he won at the 18th European Conference on Modeling Foundations and Applications (ECMFA) in Nantes!Read more
Mohsen Safari successfully defended his PhD thesis- Arend Rensink won the Best Reviewer Award 2022
Marcus Gerhold wins Best Teacher CreaTe & I-Tech award '21-'22!- Welcome to an FMT guest: Luciano Putruele
- Welcome to a new FMT member: Yang Meng
- 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
