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 holds a PhD from the Open University (2013), focusing on 'Proving Cryptographic C Programs Secure with General-Purpose Verification Tools,' supervised by Andy Gordon, Jan Jürjens, and Bashar Nuseibeh. His research emphasizes verifying cryptographic implementations' security properties under partial compromise, leveraging tools like EasyCrypt. He previously held positions as a lecturer/senior lecturer at the University of Surrey and conducted postdoctoral research at the IMDEA Software Institute.

His research interests include cryptographic protocol verification, adversary modeling, and practical adoption of machine-checked cryptography. He co-leads the Formosa Crypto project and is a core developer of the EasyCrypt proof assistant, focusing on cryptographic libraries and game transformations. He collaborates with the Bristol Programming Languages research group and oversees the Cryptography research group at Bristol, supporting researchers like Chloe Martindale and Dan Page.

Supervision focuses on machine-checked cryptography and verified software security, emphasizing student independence in PhD research. No formal awards are listed in the provided text.