François Dupressoir
Associate Professor In Cryptography
Bristol, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolFrançois Dupressoir is an Associate Professor in Cryptography based in Bristol with 13 years of experience researching and teaching at the intersection of software verification, formal methods, and security protocols. He combines deep mathematical foundations—abstract interpretation and formal verification—with practical security work, dating back to Microsoft Research internships where he verified cryptographic implementations and hardware security modules. His academic trajectory includes a PhD in Computing and roles at IMDEA Software Institute, Surrey and Bristol, where he progressed from lecturer to senior lecturer and now professor. Known for bridging theory and implementation, he brings a track record of producing auditable, machine-checked guarantees for real-world security primitives. An understated strength is his ability to translate formal-methods rigor into usable verification for systems written in C and other pragmatic languages.
13 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computing, Doctor of Philosophy (Ph.D.), Computing at The Open UniversityB.Sc., Computer Science, B.Sc., Computer Science at École Normale Supérieure de LyonM.Sc., Computer Science, M.Sc., Computer Science at École Normale Supérieure de Cachan - Antenne de BretagneN/A, Computer Science, N/A, Computer Science at The University of Calgary
French
Github Skills (55)
opam10
tlaplus10
ssreflect10
proofs10
verification10
fhe10
security10
ieee10
formal-verification10
coq10
cryptography10
theorem-proving10
encryption10
cryptanalysis9
ocaml9
Programming languages (11)
Github contributions (5)
imdea-software/verifying-constant-time
Jun 2015 - Jan 2017
Contributions:132 commits, 3 pushes, 10 comments in 1 year 7 months
fdupress/easycrypt
Apr 2018 - Jul 2022
EasyCrypt: Computer-Aided Cryptographic Proofs
Contributions:3 PRs, 75 pushes, 2 branches in 4 years 3 months
cryptographycryptographicsecurityverificationieee
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.