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.