Researcher, Microsoft Research Cambridge

Dr Markulf Kohlweiss is a researcher in the Programming Principles and Tools group at Microsoft Research Cambridge, and a member of the Constructive Security sub-group.

He did his PhD at the COSIC (Computer Security and Industrial Cryptography) group in the Department of Electrical Engineering at the University of Leuven. During his PhD he worked as a researcher in the European PRIME (Privacy Enhancing Identity Management for Everyone) and PrimeLife projects.

He received his Master in Computer Science (Diplom Ingenieur, Dipl.-Ing.) from the University of Klagenfurt, Austria, and visited IBM Research Zurich for his master thesis. He is currently collaborating with colleagues on privacy-friendly smart metering, zero-knowledge proofs and malleability, and formal verification of cryptographic protocols.