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
Aymeric Fromherz
Post-docs
Denis Merigoux
Research engineers
Louis Gesbert
Research engineer
INRIA Paris
Guillaume Boisseau
Research Engineer
INRIA Paris
Yoann Prak
Research Engineer
INRIA Paris
Vincent Botbol
Research Engineer
INRIA Paris
Romain Primet
Research Engineer
INRIA Paris
PhD Students
Justine Sauvage
PhD student
INRIA Paris
Antonin Reitz
PhD student
INRIA Paris
© JC Moschetti (CNRS)
Alain Delaët-Tixeuil
PhD student
INRIA Paris
External collaborators
Margot Catinaud
PhD student
LMF
Caroline Flori
Inspectrice des finances publiques
DGFiP
Alumni
Vincent Cheval
Researcher (CR)
Now Associate Professor at University of Oxford
Paul-Nicolas Madelaine
Research engineer
Now software engineer at Stockly
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
