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