People
Permanent Members:
Kaustuv Chaudhuri
(CR), INRIA. Position to start 1 November 2009.
Francois
Lamarche (DR). Formally starting 1 Feb 2012.
Stéphane
Lengrand (CR), CNRS.
Dale
Miller (DR), INRIA Saclay (Team Leader).
Lutz
Strassburger (CR), INRIA Saclay.
Project Assistant:
Marie-Jeanne Gaffard, INRIA
(Tel: +33 (0)1 69 33 40 32)
Post Docs:
Clément Houtmann
for a year starting 1 September 2010.
Andrew Gacek for a
year starting 1 October 2009.
Tom Gundersen for a year starting 1 December 2009.
PhD Students:
Ivan Gazeau (supervised by Miller and Palamidessi).
Nicolas Guenot (supervised by Strassburger).
Anne-Laure
Schneider (supervised by Miller).
Alexandre Viel (supervised by Miller).
François Wirion (supervised by Strassburger).
Interns:
Quentin Health, May - July 2010 (supervised by Miller).
Completed PhDs
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 defend in May 2004 (awarded by Penn State University).
Visitors:
Kai Brünnler, University of Bern, is a visitor during September 2010.
Former members:
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.
Kaustuv Chaudhuri was a post doc in the team from Nov 2006 to Sep 2007.
Axelle Ziegler.
Tom Chothia completed his CNRS post doc (joint between Comète
and Parsifal) December 2005.
Murdoch Jamie Gabbay spent a 15 month post doc at INRIA starting
July 2003.
Collaborators:
Agata Ciabattoni,
Technische Universität Wien.
Alessio
Guglielmi, University of Bath.
François
Lamarche Loria & INRIA-Lorraine.
Chuck Liang,
Hofstra University, USA.
Alberto
Momigliano LFCS, University of Edinburgh.
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.