Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.