Kevin Jilissen joins FSA Posted on September 28, 2022September 28, 2022 by Tim Willemse 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.