New FMT member: Bob Rubbens

FMT welcomes Bob Rubbens! We already know each other quite well, as Bob did his PhD research within FMT (and will defend his thesis on 15 October next!)
Bob will do postdoc research during the next year; he will be focusing on the intersection of formal methods and software security. In particular, he will be thinking about how formal methods and tools, such as VerCors, can guarantee the security of software, both on a practical and theoretical level.