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
Research engineers
Louis Gesbert
Research engineer
INRIA Paris
Paul-Nicolas Madelaine
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
PhD student
LMF
Inspectrice des finances publiques
DGFiP
Alumni
Lucas Franceschino
Research engineer
Now software engineer at Cryspen
Charlie Jacomme
Researcher (post-doc)
Now permanent researcher at INRIA Nancy
Kristina Sojakova
Researcher (SRP)
Now Assistant Professor at Vrije Universiteit Amsterdam
Benjamin Lipp
PhD student
Now at MPI-SP (Bochum)
Benjamin Beurdouche
PhD graduate
Now at Mozilla