François Dupressoir is an Associate Professor in Cryptography at the University of Bristol. His areas of expertise include software verification, formal methods, security protocols, mathematical foundations of computer science, and abstract interpretation.

Prior to his current role, Dupressoir was a Post-Doctoral Researcher at Imdea Software Institute. He also gained experience as a Research Intern at Microsoft on multiple occasions.