Permanent Researchers
Karthikeyan Bhargavan
Senior Researcher (DR), Team Leader
INRIA Paris
Instructor, Ecole Polytechnique
Member, MSR-INRIA Joint Centre
Principal Investigator ERC CIRCUS
Visiting Researchers
PhD Students
Research Engineers
Former Members
Cătălin Hriţcu
Researcher (CR, on leave)
INRIA Paris
Now Tenured Researcher at MPI-SP
Principal Investigator ERC SECOMP
Danel Ahman
Postdoctoral Researcher
INRIA Paris
Now Marie Skłodowska-Curie
Individual Research Fellow
at University of Ljubljana
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
Harry Halpin
Advanced Research Position
INRIA Paris
Coordinator of EU H2020 NEXTLEAP
Now CEO of Nym Technologies SA
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 Ampersand,
CryptoStream,
Forget Me Do, et al.
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
