Section: Members

Research Scientists

Karthikeyan Bhargavan [Team leader, HdR]

Bruno Blanchet [Senior Researcher, HdR]

Graham Steel [Researcher, HdR]

Engineer

Romain Bardou [Engineer]

PhD Students

David Cadé

Miriam Paiola

Robert Künnemann

Evmorfia-Iro Bartzia

Antoine Delignat-Lavaud

Post-Doctoral Fellows

Alfredo Pironti

Ben Smyth

Gergei Bana [MSR-Inria Joint Centre]

Visiting Scientist

Michael May [Faculty Lecturer, Kinneret College on the Sea of Galilee, Israel]

Administrative Assistant

Stephanie Aubin [shared with another team]