Tenured faculty and head of the Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany . I am also a PI of the CASA Excellence Center at Ruhr University Bochum (RUB) .
Between October 2013 and April 2020 I was a tenured researcher ( chargé de recherche ) at Inria Paris in the Prosecco team . Between May 2011 and September 2013 I was a Postdoctoral Research Associate at the University of Pennsylvania , working under the supervision of Benjamin C. Pierce . In the fall of 2016 I held a Visiting Researcher position at Microsoft Research Redmond . I received my PhD from Saarland University in Saarbrücken, Germany and recently also a Habilitation from ENS Paris .
Quick Links: Contact ; Interests ; Group ; Publications ; Talks ; Teaching ; Tools ; Misc
Théo Winterhalter
ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture
Rob Blanco
Cezar Andrici
Guido Martínez
Programming Languages @ Penn
Jérémy Thibault