IMDEA Software

IMDEA initiative

Home > People

Pierre Yves Strub

PhD - École Polytechnique, France

The information in this page may be outdated, as Pierre Yves Strub is no longer a member of the Institute.

Former Researcher

Pierre Yves Strub
Home Page:

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