IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Francois Dupressoir

Francois Dupressoir

La información de esta página podría estar desactualizada debido a que Francois Dupressoir no es actualmente miembro del Instituto.

Francois Dupressoir
PhD - Open University, Reino Unido
Antiguo Post-doctoral Researcher

Página web:

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Short bio

François Dupressoir joined the IMDEA Software Institue as a postdoctoral researcher in February 2013. He successfully defended his Ph.D. in Computer Science at the Open University under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh. His Ph.D. studies were partially funded by a Microsoft Research Ph.D. scholarship, and led him to intern at the European Microsoft Innovation Center, and at Microsoft Research in Redmond and Cambridge.

François is broadly interested in program verification, theorem proving and cryptography. He is currently working with Gilles Barthe on methods for formally reasoning about cryptographic security properties of real-world systems, especially focusing on obtaining strong correctness and security results on low-level implementations of schemes and protocols, and studying how such properties can be preserved through compilation.

Research Interests

Security, cryptography, formal methods, program verification.