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
- Wed 10 Feb 2021Prof. dr. Joost-Pieter Katoen appointed member KHMW
- Wed 3 Feb 2021Manfred Paul Award for Vadim Zaytsev
- Fri 15 Jan 2021Start VPV project
- Fri 15 Jan 2021Start SAVES project: SCALABLE VERIFICATION OF INDUSTRIAL EMBEDDED CONTROL SYSTEMS
- Thu 14 Jan 2021Prof. Dr. Joost-Pieter Katoen ACM Fellow 2020