Wytse Oortwijn wins 1st prize VERSEN PhD awardDuring the ICT Open online conference, on Thursday 11 February, Wytse Oortwijn has been rewarded with the 1st prize of the VERSEN PhD award. The title of his PhD thesis, which he defended on 12 December 2019 at the University of Twente is 'Deductive Techniques for Model-Based Concurrency Verification'.Read more
Prof. dr. Joost-Pieter Katoen appointed member KHMWProf. dr. ir. dr.h.c. J.P. (Joost-Pieter) Katoen, professor Computer Science RWTH Aachen University, parttime professor Computer Science University of Twente has been appointed as member of the Koninklijke Hollandsche Maatschappij der Wetenschappen, the oldest society for the promotion of science (founded in 1752.) See Benoemingen 2021 | KHMW
We all congratulate Joost-Pieter with this appointment!Read more
Wytse Oortwijn wins 1st prize VERSEN PhD award
Prof. dr. Joost-Pieter Katoen appointed member KHMW
Manfred Paul Award for Vadim Zaytsev
Start VPV project
Start SAVES project: SCALABLE VERIFICATION OF INDUSTRIAL EMBEDDED CONTROL SYSTEMS
Prof. Dr. Joost-Pieter Katoen ACM Fellow 2020
Lisandro Arturo Jimenez Roa finished his Pd Eng project on 23 November 2020
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