PhD defences - PhD thesis Wytse Oortwijn


On December 12, Wytse Oortwijn defended his PhD thesis "Deductive Techniques for Model-based Concurrency Verification" at the University of Twente. His supervisor was prof.dr. M. Huisman from the faculty of Electrical Engineering, Mathematics and Computer Science.
In his thesis, Wytse describes practical and reliable verification techniques for global behavioural properties of real-world concurrent and distributed software. 

Wytse is now working as a post doc at ETH Zurich in the group of Prof. Peter Müller.