Input Output

Markulf Kohlweiss, PhD

Research Fellow


Edinburgh, United Kingdom


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.


DE91 6141 7EF4 ADC5 B937 5BE3 5A88 957C 20E4 BCCD