We welcome Bob Rubbens, former PhD of the VerCors team, as a postdoc on the VerCors team. In collaboration with Andrea Continella and Marieke Huisman, he will be investigating how formal methods and tools such as VerCors can guarantee the security of software, both on a practical and theoretical level.