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
