Experience

  1. Phd student

    Inria Paris

  2. Interns

    CISPA Helmholtz
    Protocol proof in Tamarin

  3. Interns

    Inria Paris
    Generating axioms for cryptographic assumption in CCSA logic.

Education

  1. (ongoing) PhD

    Inria Paris
    Thesis on Games and Logic for cryptographic protocols verification. Directed by Bruno Blanchet. Supervised by Dabid Baelde ([https://people.irisa.fr/David.Baelde/]) and Adrien Koutsos ([https://adrienkoutsos.fr]).
    Thesis web page

  2. Master degree, theoritical computer science

    Ecole Normale Superieure de Lyon
Skills & Hobbies
Numerical Skills
Advanced

Python, OCaml, Linux, Squirrel

Basic

Basic: Coq, Isabelle/HOL, C/C++, Tamarin

Hobbies
Music

Guitar, vocal groups

Diving
Awards
Languages
100%
French
90%
English
30%
German
20%
Spanish