Event Category: PhD Defence

On November 22, 2022, Maurice Laveaux will defend his thesis titled ‘Accelerated Verification of Concurrent Systems’, which is available via https://research.tue.nl/en/publications/accelerated-verification-of-concurrent-systems. The defence will also be streamed online via MS Teams. The link to the stream is available on request from m.laveaux@tue.nl.

On January 11, 2022, Alexander Fedotov will defend his thesis titled ‘Verification techniques for xMAS’, which is available here. The defence will be streamed online via MS Teams. The link to the stream is available on request from a.fedotov@tue.nl.