UK

Markulf Kohlweiss is Senior Lecturer in the Security and Privacy research group at the University of Edinburgh. He holds a PhD in cryptography from the KU Leuven and was a researcher at Microsoft Research Cambridge in the Programming Principles and Tools group. His research interests lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations. He contributed to the Identity Mixer anonymous credential system at IBM Research Zurich and is a founding member of the miTLS project (now project Everest), a verified implementation of the TLS standard. For the latter work he received the Levchin prize for real world cryptography.