Kaustuv Chaudhuri (CR), INRIA Saclay.

Joëlle Despeyroux (CR), INRIA Sophia.

Stéphane Lengrand (CR), CNRS.

Dale Miller (DR), INRIA Saclay (Team Leader).

Lutz Straßburger (CR), INRIA Saclay.

Christelle LIEVIN , INRIA, starting sometime in Fall 2011.

Beniamino Accattoli for a year starting 1 September 2011.

Revantha Ramanayake for a year starting 1 September 2011.

Willem Heijltjes for a year starting 1 October 2011.

Ivan Gazeau (supervised by Miller and Palamidessi).

Nicolas Guenot (supervised by Straßburger).

Anne-Laure Schneider (supervised by Miller).

Mahfuza Farooque (supervised by Lengrand).

Hernán Vanzetto (at UHP Nancy & INRIA-MSR, supervised by Stephan Merz and Chaudhuri)

Quentin Heath, since 1 September 2011.

Olivier Delande (supervised by Miller). Dissertation defended 15 October 2009.

Vivek Nigam (supervised by Miller). Dissertation defended on 18 September 2009.

David Baelde (supervised by Miller). Dissertation defended on 9 December 2008.

Alexis Saurin (supervised by Miller). Dissertation defended on 30 September 2008.

Alwen Tiu (supervised by Miller). Dissertation defended on 15 March 2004 (awarded by Penn State University).

Chuck Liang, Hofstra University, was a visitor during June/July 2011.

Gopalan Nadathur, University of Minnesota, was a visitor during November 2011.

Kai Brünnler, University of Bern, is a visitor during September 2010.

Andrew Cave (M.Sc. student, McGill University, Canada) intern during Summer 2011.

Salil Joshi (Ph.D. student, Carnegie Mellon University, USA) intern during Summer 2011.

Chris Martens (Ph.D. student, Carnegie Mellon University, USA) intern during Summer 2011.

Clément Houtmann was a Post Doc for a year starting 1 September 2010.

Tom Gundersen was a Post Doc for a year during 2009-2010.

Andrew Gacek was a Post Doc for a year starting 1 October 2009.

Quentin Heath, was an intern supervised by Miller during May - July 2010.

Anders Starcke Henriksen was an intern during Oct 2009 - Mar 2010 (supervised by Miller).

Matteo Capelletti was a post doc for a year starting Dec 2007.

Laurent Méhats was a post doc for a year starting Sep 2007.

Zachary Snow (University of Minnesota) did an internship during May-July 2008 with a return visit during the summer of 2009. He was advised by David Baelde and Dale Miller.

Axelle Ziegler.

Tom Chothia completed his CNRS post doc (joint between Comète and Parsifal) December 2005.

Murdoch J. Gabbay spent a 15 month post doc at INRIA starting July 2003.

Agata Ciabattoni, Technische Universität Wien.

Alessio Guglielmi, University of Bath.

François Lamarche Loria & INRIA-Lorraine.

Chuck Liang, Hofstra University, USA.

Alberto Momigliano University of Milan.

Gopalan Nadathur, University of Minnesota.

Michel Parigot, CNRS-PPS.

Frank Pfenning, Carnegie Mellon University.

Brigitte Pientka, McGill University, Canada.

Elaine Pimentel, Departamento de Matemática, Universidade Federal de Minas Gerais, Brazil.