Permanent Researchers
Bruno Blanchet
Senior Researcher (DR), Team Leader
INRIA Paris
Instructor, MPRI
Adrien Koutsos
Researcher (CR)
INRIA Paris
Instructor, MPRI
Aymeric Fromherz
Researcher (ISFP)
INRIA Paris
Instructor, MPRI
Research engineer
Guillaume Boisseau
Research Engineer
INRIA Paris
PhD Students
Marco Bertoni
PhD student
INRIA Paris
Florian Chivé
PhD student
INRIA Paris
Théo Vignon
PhD student
INSPIRE, LMF, ENS Paris-Saclay
External collaborators
Margot Catinaud
PhD student
LMF
Alumni
Karthikeyan Bhargavan
Senior Researcher (DR), on leave
Chief research scientist at Cryspen
Instructor, MPRI
Chaire PRAIRIE
Justine Sauvage
PhD student
Now post-doc in EPI PESTO, Loria.
Antonin Reitz
PhD student
Now associate professor in team TRUST at LAAS
Yoann Prak
Research Engineer
Denis Merigoux
Researcher (SRP)
Now leader of the Catala project of the Inria Apollo program
Vincent Botbol
Research Engineer
Now SED engineer attached to the Catala project of the Inria Apollo program
Louis Gesbert
Research engineer
Now SED engineer attached to the Catala project of the Inria Apollo program
Romain Primet
Research Engineer
Now SED engineer attached to the Catala project of the Inria Apollo program
© JC Moschetti (CNRS)
Alain Delaët-Tixeuil
PhD student
Théo Laurent
PhD student
Son Ho
PhD student
Now post-doctoral researcher at Microsoft Azure Research
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 Rosenpass e.V.
Benjamin Beurdouche
PhD graduate
Now at Mozilla