Lukas Miedema wins 2e prize of the KNVI Thesis prize for Informatics competitionLukas Miedema, nominated by professor Marieke Huisman of the chair Formal Methods and Tools, is the winner of one of the two 2nd prizes of the KNVI Thesis prizes for Informatics. This prize consist of an amount of 1000 Euro. Lukas has been informed by the Chairman of the KHMW, Prof. Louise Gunning.Read more- 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
Lukas Miedema wins 2e prize of the KNVI Thesis prize for Informatics competition- 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
