IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Pierre-Yves Strub

Pierre-Yves Strub

La información de esta página podría estar desactualizada debido a que Pierre-Yves Strub no es actualmente miembro del Instituto.

Pierre-Yves Strub
PhD - École Polytechnique, Francia
Antiguo Faculty Researcher

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

Short bio

Pierre-Yves Strub received his Ph.D. in Computer Science from École Polytechnique, France, in 2008. He joined the IMDEA Software Institute in 2013, after a post-doctoral position at the Microsoft-INRIA Joint Lab in Paris, France and at the LIAMA institute in Beijing, China.

Pierre-Yves research interests include formal proofs, proof assistants and their related type theory, certification of cryptographic algorithms and mathematical proofs, program verification via typing, secure web programming. He currently focused on EasyCrypt, a toolset for reasoning about relational properties of probabilistic computations with adversarial code. He is one of the main authors of EasyCrypt. He is also the main author of CoqMT, an extension of the Coq proof assistant.

Research Interests

Type theory, Proof assistants, Provable security