Generate a tailored SOP for Dr. Francois Dupressoir. Improve your application with a focused, well-structured draft.
Francois Dupressoir is an Associate Professor in the Department of Computer Science at the University of Bristol, where he specializes in developing and applying computer-aided techniques to evaluate cryptographic algorithms, protocols, and implementations. His research interests include cryptography, software security, machine-checked proofs, and program verification. Dupressoir's work focuses on proving cryptographic side-channel security properties in concrete realizations of cryptographic primitives and protocols, especially in the presence of a partial compromise. He is actively involved in tackling adversary modeling and designing proof methodologies and verification tools for secure software systems. Dupressoir has taught various courses, including Cryptology and Advanced Cryptology, and is engaged in teaching activities related to formal methods and software security.
University of Bristol • Bristol, UK
Develops and applies computer-aided techniques in cryptography.
University of Surrey • Guildford, UK
Taught cryptography courses and conducted research.
IMDEA Software Institute • Madrid, Spain
Conducted research on secure software and cryptographic protocols.
Department of Physics research themes include Astrophysics, Materials and Devices, Particle Physics, and Quantum and Soft Matter.