Vincent Bloemen wins the third 2019-2020 VERSEN PhD Thesis awardVincent Bloemen of the Formal Methods and Tools group (EEMCS), won the Third 2019-2020 VERSEN PhD Thesis Award with the thesis "Strong Connectivity and Shortest Paths for Checking Models".Read more- Marcus Gerhold wins the Second 2019-2020 VERSEN PhD Thesis AwardMarcus Gerhold of the Formal Methods and Tools group (EEMCS), won the Second 2019-2020 VERSEN PhD Thesis Award with the thesis "Choice and Chance: Model-Based Testing of Stochastic Behaviour".
His thesis submission was judged based on the following criteria:Read more
Vincent Bloemen wins the third 2019-2020 VERSEN PhD Thesis award- Marcus Gerhold wins the Second 2019-2020 VERSEN PhD Thesis Award
Sophie Lathouwers wins the 2nd KNVI young talent prize
Alice & Eve: about cool women in computing
Wytse Oortwijn wins Best Paper Award at iFM 2019
Mariëlle Stoelinga receives ERC Consolidator Grant
KHMW Internetscriptie prize for Sophie Lathouwers
Five million euro grant award for predictive maintenance using big data algorithms
‘Snappen we met alle data de tandwielen nog?’
Blind Henk Mulder obtains master degree
Marielle Stoelinga attracts 5 million euros for predictive maintenance- Florian Hahn and Joke van Staalduinen new employees at Computer Science
