François Dupressoir

François Dupressoir is an Associate Professor in the Cryptography Research group and School of Computer Science at the University of Bristol (UK). He received his PhD from the Open University in 2013, focusing on verifying cryptographic C programs using general-purpose tools. His doctoral research was conducted under Andy Gordon, Jan Jürjens, and Bashar Nuseibeh, supported by a Microsoft Research PhD Scholarship. He worked extensively at Microsoft Research labs in Cambridge, Aachen, Redmond, and the Open University. After his PhD, he focused on developing and applying the EasyCrypt proof assistant for cryptographic proofs, particularly those involving real-world adversary models. This research continued during his roles as lecturer and senior lecturer at the University of Surrey.

His research emphasizes proving cryptographic and side-channel security properties of implementations, especially under partial compromise scenarios. He works on adversary modeling, proof methodologies, verification tools, and efficient code verification. He leads the Cryptography research group at Bristol, supporting Chloe Martindale and Dan Page's labs. He is a core developer of EasyCrypt, contributing to its cryptographic libraries and innovative applications, and a core member of the Formosa Crypto project promoting practical machine-checked cryptography.

He supervises PhD and internship candidates interested in machine-checked cryptography, high-assurance cryptography, or verified software security. He emphasizes student independence, framing PhD supervision as a co-discovery process where both student and advisor learn collaboratively.