Kevin Jilissen: A formal analysis of the tunnel control systems of the Rijkswaterstaat GITO Posted on August 22, 2022August 29, 2022 by Jan Friso Groote Event Details Date: August 22, 2022 15:00 – 15:45 Venue: MetaForum MF 13 Categories: MSc Defence On Monday, August 29, at 15:00 in MF13 Kevin Jilissen defends his master thesis called A formal analysis of the tunnel control systems of the Rijkswaterstaat GITO.