I am scientific director at Max Planck Institute for Security and Privacy, Bochum, Germany and (part-time) research professor at IMDEA Software Institute, Madrid, Spain. My research interests include programming languages and program verification, security, privacy, and cryptography.
Email: firstname.lastname@mpi-sp.org
address: MPI-SP, Universitaetsstr. 140, 44799 Bochum, Germany