Matthias Volk receives Manfred Nagl Award for his PhD thesisMatthias Volk received the Manfred Nagl Award 2022 for his PhD thesis "Dynamic Fault Trees: Semantics, Analysis and Applications" which he wrote under the supervision of Prof. Joost-Pieter Katoen at RWTH Aachen University.
The newly endowed Manfred Nagl Award was presented during the 50-year anniversary celebration of the Department of Computer Science at RWTH Aachen University.
The award is supported by the DSA- Daten und Systemtechnik GmbH and honours outstanding dissertations in computer science with the potential to implement the researched solution in the form of a company start-up.Read more- 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
Matthias Volk receives Manfred Nagl Award for his PhD thesis- 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!
