Deducteam
Former members
- Claude Stolze
- Emilie Grienenberger (ENS Paris-Saclay)
- Amélie Ledein (DigiCosme)
- Cristian Sottile (visitor, Universidad de Buenos Aires, October 2022)
- Corentin Chabanol (intern Centrale Supélec)
- Arunava Gantait (intern Chennai Mathematical Institute)
- Nabin Kumar Sahoo (intern Chennai Mathematical Institute)
- Gabriel Hondet (INRIA)
- Pierre Vial (Postdoc INRIA/Nomadic Labs)
- Kazuhiko Sakaguchi (University of Tsukuba, Japan, visitor July 2022)
- Loris Cros (intern Centrale Supélec)
- Quentin Buzet (intern L3 Télécom Paris)
- Taïssir Marce (intern M1 University Paris-Saclay)
- Émile Oléon (intern M2 ENS Paris-Saclay)
- Amélie Rima (intern M2 LMFI, Univ. Paris-Cité)
- Boris Djalal (Engineer INRIA/Nomadic Labs)
- Alexandra Merlin (INRIA, administrative assistant)
- Arjun Viswanathan (PhD student, University of Iowa)
- Renaud Vilmart (INRIA)
- Yacine El Haddad (PhD student DigiCosme/LSV)
- Yann Leray (M1 ENS Paris)
- Aurélien Castre (L3 Télécom Paris)
- Alex Tsokurov (M2 Sorbonne Université)
- Gaspard Férey (PhD student)
- Karthik Viswanathan (Intern L3 IIIT-Hyderabad, India)
- Ashish Kumar Barnawal (Intern IIT Guwahati, India)
- Pablo Arrighi (Aix-Marseille University, délégation INRIA)
- Guillaume Genestier (PhD student ENS Paris-Saclay)
- François Thiré (PhD student)
- Rehan Malak (Postdoc DigiCosme)
- Tristan Delort (Intern L3 ENSIIE)
- Nathan Guermond (Intern M1 ENS Paris-Saclay)
- Mohamed Hadjoudj (Intern M1 ENS Paris-Saclay)
- François Lefoulon (Intern L3 ENSIIE)
- Valentin Maestracci (Intern M2 ENS Paris-Saclay)
- Simon Mirwasser (Intern M1 ENS Paris-Saclay)
- Michael Färber (Postdoc INRIA)
- Étienne Miquey (Postdoc DIM-RFSI)
- Jui-Hsuan Wu (Intern ENS Paris)
- Guillaume Rousseau (Intern ENS Lyon)
- Franck Slama (Postdoc INRIA)
- Farzad Jafarrahmani (Intern MPRI)
- Houda Mouzoun (Intern ENSEEIHT)
- Benjamin Graillot (Intern ENS Paris-Saclay)
- Guillaume Bury (PhD student) now at OCamlPro
- Rodolphe Lepigre (Postdoc) now postdoc at the Max-Planck Institute for Software Systems
- Aristomenis-Dionysios Papadopoulos (Intern Imperial College, London)
- Quentin Ye (Intern Sup-Galilée)
- Walid Moustaoui (Intern Sup-Galilée)
- Ismail Lachheb (Intern Sup-Galilée)
- Frédéric Gilbert (PhD student) now at the Department of Industry
- Antoine Defourné (Intern ENSIMAG)
- Chaitanya Leena Subramaniam (Intern X) now PhD student at IRIF
- Olivier Stietel (Intern)
- Thida Iem (INRIA, administrative assistant)
- Rafaël Bocquet (Intern Ulm)
- Simon Martiel (Postdoc) now at Atos
- Jefferson Santos (Visitor, EBAPE/FGV)
- Pierre Halmagrand (PhD student) now at EDF
- Raphaël Cauderlier (PhD student) now engineer at Nomadic Labs
- David Pham (Intern ENSIIE)
- Virginie Collette (INRIA, administrative assistant)
- Achille Auliard (Intern)
- Arnaud Spiwack (Postdoc) now at Tweag.io
- Simon Cruanes (PhD student) now postdoc at Inria Nancy
- Kailiang Ji (PhD Student) now at Huawei
- Ronan Saillard (PhD student) now at ClearSy
- Ali Assaf (PhD student) now at Google Zurich
- Bruno Bernardo (PhD student) now engineer at Nomadic Labs
- Robert White (Intern)
- Vaston Goncalves Da Costa (Postdoc, Universidade Federal de Goias, Brazil)
- David Delahaye (Associate Professor, CNAM/Cedric) now professor at Polytech' Montpellier
- Alejandro Díaz-Caro (ATER) now assistant professor at Universidad Nacional de Quilmes, Argentina
- Julien Rateau (Intern Ulm)
- Raphaël Bost (Intern)
- Quentin Carbonneaux (Intern), now PhD student at Yale
- Nachum Dershowitz (Visitor, Tel Aviv University)
- Cecilia Englander (Visitor, PUC Rio)
- Jianhua Gao (Visitor, ISCAS Beijing)
- Gaëtan Gilbert (Intern Ulm) now PhD student in CoqHott
- Thérèse Hardin (Professor, University Paris 6)
- Hermann Haeusler (Visitor, PUC Rio)
- Ying Jiang (Visitor, ISCAS Beijing)
- Frédéric Lang (Intern)
- Kim Quyen Ly (PhD student) now software engineer at Tezos
- Bruno Lopes (Visitor, PUC Rio)
- Hugo Macedo (Postdoc)
- Hélène Milome (INRIA, administrative assistant)
- Pierre Néron (PhD student) now at ANSSI
- Benoît Valiron (Postdoc) now assistant professor at CentraleSupélec
