Permanent Researchers

Karthikeyan Bhargavan
Senior Researcher (DR), Team Leader
INRIA Paris
Instructor, Ecole Polytechnique
Member, MSR-INRIA Joint Centre
Principal Investigator ERC CIRCUS

Cătălin Hriţcu
Researcher (CR, on leave)
INRIA Paris
Now Tenured Researcher at MPI-SP
Principal Investigator ERC SECOMP
Non-Permanent Researchers
Visiting Researchers
Postdoctoral Researchers
PhD Students
Research Engineers
Former Members

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