Bart JacobsBart Jacobs is Professor of Software and Security Correctness at Radboud University Nijmegen, the Netherlands. His work has been supported by prestigious grants such as the Pionier grant from the Netherlands Organisation for Scientific Research and te Advanced Investigator Grant from the European Research Council. Professor Jacobs is a member of Academia Europaea. Read More Read Less