Event Category: PhD Defence

On October 23, 2023, Mark Bouwman will defend his thesis titled ‘Supporting Railway Standardisation with Formal Verification’, which is available via https://research.tue.nl/en/publications/supporting-railway-standardisation-with-formal-verification. The defence marks a milestone in the FormaSig project, a collaboration between TU/e, UT, ProRail and Deutsche Bahn.

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.