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'.
Thursday 11 February 2021
More recent news
- Sat 15 May 2021New CS Programme Director!
- Thu 15 Apr 2021Marielle Stoelinga on UT Campus Talks 29 April - with link
- Tue 13 Apr 2021Vadim Zaytsev got an IDEA
- Thu 25 Mar 2021Marielle Stoelinga in Atlas (NPO2) 24 March 2021
- Thu 4 Mar 2021Professor Marielle Stoelinga in AG Connect