Permanent Researchers
Karthikeyan Bhargavan
Senior Researcher (DR), Team Leader, on leave
INRIA Paris
Instructor, MPRI
Chaire PRAIRIE
Bruno Blanchet
Senior Researcher (DR), Team Leader (while Karthik is on leave)
INRIA Paris
Instructor, MPRI
Adrien Koutsos
Vincent Cheval
Aymeric Fromherz
Post-docs
Denis Merigoux
Charlie Jacomme
Researcher (post-doc)
INRIA Paris
Research engineers
Louis Gesbert
Research engineer
INRIA Paris
Paul-Nicolas Madelaine
Research engineer
INRIA Paris
Lucas Franceschino
Research engineer
INRIA Paris
PhD Students
Justine Sauvage
PhD student
INRIA Paris
Antonin Reitz
PhD student
INRIA Paris
Alain Delaët-Tixeuil
PhD student
INRIA Paris
External collaborators
Margot Catinaud
PhD student
LMF
Caroline Flori
Inspectrice des finances publiques
DGFiP
Alumni
Kristina Sojakova
Benjamin Lipp
PhD student
Now at MPI-SP (Bochum)
Benjamin Beurdouche
PhD graduate
Now at Mozilla
