Thursday 11 February 2021
During 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'.