Permanent Researchers

Starting Researcher

Visiting Researchers

Photo of Prasad Naldurg

Prasad Naldurg

Visiting Researcher
Senior Researcher, IBM India Research Lab

Photo of Éric Tanter

Éric Tanter

Visiting Professor
Full Professor, University of Chile

Postdoctoral Researchers

Photo of Roberto Blanco

Roberto Blanco

Postdoctoral Researcher
INRIA Paris

PhD Students


Photo of Nadim Kobeissi

Nadim Kobeissi

PhD student
INRIA Paris
Student, ENS Paris
Now Adjunct Professor at NYU Paris
Founder of Symbolic Software


Photo of Kenji Maillard

Kenji Maillard

PhD student
INRIA Paris
Student, ENS Paris


Photo of Guido Martinez

Guido Martinez

Co-Supervised PhD student
CIFASIS-CONICET Rosario


Research Engineers

Photo of Victor Dumitrescu

Victor Dumitrescu

Research Engineer
MSR-INRIA

Photo of Florian Groult

Florian Groult

Research Engineer
INRIA Paris


Photo of Théo Laurent

Théo Laurent

Research Engineer
INRIA Paris

Former Members

Photo of Amal Ahmed

Amal Ahmed

Visiting Professor
Associate Professor, Northeastern University

Photo of Danel Ahman

Danel Ahman

Postdoctoral Researcher
INRIA Paris
Now PostDoc at University of Ljubljana


Photo of David Baelde

David Baelde

Visiting Professor
Assistant Professor, ENS Cachan

Photo of Gergei Bana

Gergei Bana

Postdoctoral Researcher
INRIA Paris
Now PostDoc at University of Luxembourg


Photo of Evmorfia-Iro Bartzia

Evmorfia-Iro Bartzia

Graduated PhD student
INRIA Paris
Student, Ecole Polytechnique

Photo of Romain Bardou

Romain Bardou

Research Engineer
INRIA Paris


Photo of David Cadé

David Cadé

Graduated PhD student
INRIA Paris
Now at Nintendo

Photo of Antoine Delignat-Lavaud

Antoine Delignat-Lavaud

Graduated PhD student
INRIA Paris
Student, ENS Paris
Now Researcher at MSR Cambridge


Photo of Ana Nora Evans

Ana Nora Evans

Visiting Researcher
PhD Student, University of Virginia

Photo of David Evans

David Evans

Visiting Researcher
University of Virginia


Photo of Guglielmo Fachini

Guglielmo Fachini

Research Engineer
INRIA Paris
Now at Nozomi Networks

Photo of Yannis Juglaret

Yannis Juglaret

PhD student
INRIA Paris
Student, Paris 7


Photo of Chantal Keller

Chantal Keller

Postdoctoral Researcher
MSR-INRIA Joint Centre
Now Assistant Professor at
Université Paris-Sud (team VALS of LRI)

Photo of Robert Künnemann

Robert Künnemann

Graduated PhD student
INRIA Paris
Former Member, LSV, ENS Cachan
Now at PostDoc at CISPA/Saarland University


Photo of Tomer Libal

Tomer Libal

Research Engineer
MSR-INRIA Joint Centre
Now Assistant Professor at
American University of Paris


Photo of Ben Smyth

Ben Smyth

Postdoctoral Researcher
INRIA Paris
Founder of Verified IO and Forget Me Do


Photo of Marco Stronati

Marco Stronati

Postdoctoral Researcher
INRIA Paris
Now at Tezos

Photo of Aaron Weiss

Aaron Weiss

Visiting Researcher
PhD Student, Northeastern University


Photo of Marc Sylvestre

Marc Sylvestre

Research Engineer
INRIA Paris

Photo of Santiago Zanella-Béguelin

Santiago Zanella-Béguelin

Postdoctoral Researcher
MSR-INRIA Joint Centre
Now Researcher at MSR Cambridge


Photo of Jean-Karim Zinzindohoue-Marsaudon

Jean-Karim Zinzindohoué

Graduated PhD student
INRIA Paris
Student, ENS Paris

Associates and Frequent Collaborators

Photo of Cédric Fournet

Cédric Fournet

Principal Researcher
Microsoft Research, Cambridge

Project Leader
MSR-INRIA Joint Centre

Photo of Markulf Kohlweiss

Markulf Kohlweiss

Senior Lecturer
University of Edinburgh


Photo of Sergio Maffeis

Sergio Maffeis

Senior Lecturer
Imperial College, London

Photo of Jonathan Protzenko

Jonathan Protzenko

Researcher
Microsoft Research Redmond


Photo of Benjamin C. Pierce

Benjamin C. Pierce

Professor
University of Pennsylvania

Photo of Pierre-Yves Strub

Pierre-Yves Strub

Maître de conférences
École Polytechnique


Photo of Nikhil Swamy

Nikhil Swamy

Senior Researcher
Microsoft Research Redmond

Photo of Tahina Ramananandro

Tahina Ramananandro

Senior RSDE
Microsoft Research Redmond


Photo of Aseem Rastogi

Aseem Rastogi

Researcher
Microsoft Research Bangalore

Photo of Andrew Tolmach

Andrew Tolmach

Professor
Portland State University


Photo of Deepak Garg

Deepak Garg

Tenured Faculty
MPI-SWS