Permanent Researchers
Karthikeyan Bhargavan
Senior Researcher (DR), Team Leader
INRIA Paris
Instructor, Ecole Polytechnique
Member, MSR-INRIA Joint Centre
Principal Investigator ERC CIRCUS
Non-Permanent Researchers
Visiting Researchers
Postdoctoral Researchers
PhD Students
Research Engineers
Former Members
Evmorfia-Iro Bartzia
Graduated PhD student
INRIA Paris
Student, Ecole Polytechnique
Now at University of Paris 8.
Antoine Delignat-Lavaud
Graduated PhD student
INRIA Paris
Student, ENS Paris
Now Researcher at MSR Cambridge
Chantal Keller
Postdoctoral Researcher
MSR-INRIA Joint Centre
Now Assistant Professor at
Université Paris-Sud (team VALS of LRI)
Nadim Kobeissi
Graduated PhD student
INRIA Paris
Student, ENS Paris
Now Adjunct Professor at NYU Paris
Founder of Symbolic Software
Robert Künnemann
Graduated PhD student
INRIA Paris
Former Member, LSV, ENS Cachan
Now at PostDoc at CISPA/Saarland University
Tomer Libal
Research Engineer
MSR-INRIA Joint Centre
Now Assistant Professor at
American University of Paris
Miriam Paiola
Graduated PhD student
INRIA Paris
Now Deputy CISO at
Agence Nationale des Titres Sécurisés
Ben Smyth
Postdoctoral Researcher
INRIA Paris
Founder of Verified IO and
Forget Me Do and
CryptoStream
Now Research Fellow at
University of Luxembourg
Santiago Zanella-Béguelin
Postdoctoral Researcher
MSR-INRIA Joint Centre
Now Researcher at MSR Cambridge
Jean-Karim Zinzindohoué
Graduated PhD student
INRIA Paris
Student, ENS Paris
Now at Ministère de l'Intérieur
Frequent Collaborators
Victor Dumitrescu
Previously Research Engineer
Inria Paris and MSR-Inria Joint Centre
Now Developer at Nomadic Labs
Cédric Fournet
Principal Researcher
Microsoft Research, Cambridge
Project Leader
MSR-INRIA Joint Centre
