Gallium team - Past members

Past members of Gallium

Laurence Bourcier

(Administrative assistant, 2016-2019)

Armaël Guéneau

(PhD student, 2016-2019; currently post-doc at Aarhus)

Naomi Testard

(PhD student, 2017-2019)

(Inria senior research scientist, until January 2019; currently at Nomadic Labs.)

(PhD student, 2015-2018; currently post-doc at IST Austria)

Thomas Williams

(PhD student, 2014-2018, now at Google)

(post-doc, 2017-2018; currently software engineer at CodeSourcery)

Lucas Baudin

(intern, summer 2018)

Simon Colin

(intern, summer 2018)

Nathanaël Courant

(intern, summer 2018)

Émilie Guermeur

(intern, summer 2018)

Sébastien Michelland

(intern, summer 2018)

(assistant professor at CMU, Inria advanced research position, P.I. of DeepSea ERC project, until June 2018)

(Inria starting research position, DeepSea ERC project, until March 2018; currenty software engineer at CREST, Indiana U.)

Fabrice Le Fessant

(Inria research scientist, on leave at OCamlPro since February 2018)

(post-doc, 2016-2017, currently assistant professor at U. Paris Diderot, IRIF laboratory)

Idir Lankri

(intern, summer 2017)

(intern, spring 2017)

Filip Sieczkowski

(post-doc, 2015-2016, currently assistant professor at U. Wroclaw)

Kate Deplaix

(intern, summer 2016, and 2013-2014)

Ambroise Lafont

(intern, summer 2016; currently PhD student at IMT Atlantique, Nantes)

Pierre Courtieu

(assistant professor at CNAM, on délégation 2014-2016)

Jacques-Henri Jourdan

(PhD student, 2013-2016, currently CNRS research scientist (chargé de recherche) at LRI laboratory of U. Paris Sud)

Gabriel Scherer

(PhD student, 2012-2015, currently Inria research scientist (chargé de recherche) at Inria Saclay, team Parsifal)

Cindy Crossouard

(administrative assistant, 2012-2016)

(post-doc, 2014-2015, currently software engineer at Inria Sophia-Antipolis).

Pierre-Évariste Dagand

(post-doc, 2013-2014, currently CNRS research scientist (chargé de recherche) at LIP6 laboratory).

Jonathan Protzenko

(PhD student, 2011-2014, currently research scientist at Microsoft Research, Redmond).

Sigurd Schneider

(visiting scientist, 2014, currently PhD student at Saarland U.)

Thomas Braibant

(post-doc, 2012-2014, currently working at Jane Street)

Thibaut Balabonski

(post-doc, 2012-2014, currently assistant professor (MdC) at U. Paris Sud, LRI laboratory

Virginie Collette

(administrative assistant, 2012-2013)

(PhD student, 2009-2013, currently engineer at Trust In Soft)

(professor at Northeastern university, on sabbatical, 2013)

Michael Arntzenius

(summer intern, 2013, currently PhD student at U. Birmingham)

Cyprien Mangin

(summer intern, 2013, currently PhD student in the CoqHoTT project)

Robbert Krebbers

(visiting scientist, 2013, currently assistant professor at Delft University of Technology)

Stéphanie Chaix

(administrative assistant, 2009-2012)

(research programmer (SED), 2009-2012; currently working at Jane Street)

Valentin Robert

(research programmer, 2011-2012; currently PhD student at UCSD)

Raphaël Proust

(summer intern, 2012; currently freelance)

Joseph Tassarotti

(summer intern, 2012; currently, PhD student at CMU)

(INRIA research scientist, 2009-2012; on extended leave).

Nicolas Pouillard

(Research programmer, 2006-2008; PhD student, 2008-2011; currently freelance)

Tahina Ramananandro

(PhD student, 2007-2011, currently research engineer at Microsoft Research, Redmond)

Alexandre Pilkiewicz

(PhD student, 2008-2011, currently engineer at Google, Paris)

Sylvain Dailler

(Master's intern, summer 2011, currently post-doc at LRI laboratory, U. Paris Sud)

Arthur Charguéraud

(PhD student, 2007-2010, currently INRIA research scientist at team Camus in Strasbourg)

Benoît Montagu

(PhD student, 2007-2010, currently engineer at Prove & Run)

Vivien Maisonneuve

(master's intern, summer 2010)

Jean-Baptiste Tristan

(PhD student, 2006-2009, currently research scientist at Oracle Labs)

(associate faculty, till 2009, currently professor at U. Rennes)

(undergraduate intern, summer 2009, currently CNRS research scientist (chargé de recherche) at Institut de Mathématiques de Jussieu, U. Paris Diderot)

Paolo Herms

(master's intern, spring-summer 2009, currently software engineer at G-Research, London)

(PhD student, 2005-2009, currently scientist at CEA, LIST laboratory)

Stéphanie Aubin

(administrative assistant, 2008-2009)

Boris Yakobowski

(PhD student, 2004-2008, scientist at CEA, LIST laboratory)

(post-doc, 2007-2008, currently working at SAP in Germany)

Nelly Maloisel

(administrative assistant, 2006-2008)

Yann Régis-Gianas

(PhD student, 2004-2007, currently assistant professor at University Paris 7, PPS laboratory)

(professor, Portland State University, on sabbatical 2006-2007)

(research associate 2004-2007, currently CTO at Lexifi)

(research programmer 2005-2007, currently independent software developer in Canada)

Richard Bonichon

(PhD student in common with LIP6, 2004-2006, currently scientist at CEA, LIST laboratory)

Maxence Guesdon

(research engineer, until 2006, currently at SED team, INRIA Saclay)

Thomas Moniot

(master's intern, summer 2006, currently engineer at Esterel Technologies)

Michel Blockelet

(undergraduate intern, summer 2006)

Virgile Prevosto

(research programmer 2005-2006, currently scientist at CEA, LIST laboratory)

Past members of Cristal

Daniel Bonniot
Pascal Cuoq
Roberto Di Cosmo
Jun Furuse
Nadji Gauthier
Benjamin Grégoire
Robert Harley
Tom Hirschowitz
Gérard Huet
Didier Le Botlan
Bruno Pagano
François Pessaux
Daniel de Rauglaudre
Christian Rinderknecht
François Rouaix
Emilie Sayag
Bruno Verlyck
Vincent Simonet
Basile Starynkevitch
Jérôme Vouillon
Pierre Weis

See also