Ph.D. in Mathematics from the University of Manchester, UK (1993). Habilitation in Computer Science from the University of Nice, France, (2004). Founding director of the Max Planck Institute for Security and Privacy. His research interests lie in the areas of programming languages and program verification, software and system security, cryptography, formal methods and logic. His goal is to develop foundations and tools for reasoning about security and privacy properties of algorithms and implementations. His recent work focuses on building relational verification methods for probabilistic programs and on their applications in cryptography and privacy. He is also interested in provably secure countermeasures against side-channel attacks.