Faculty
Idir Ait-Sadoune
Enseignant Chercheur
CentraleSupélec
Pablo Arnault
Inria
Pablo Arrighi
Université Paris-Saclay
Marc Baboulin
Professeur
Université Paris-Saclay
Thibaut Balabonski
Université Paris-Saclay
Bruno Barras
Inria
Véronique Benzaken
Université Paris-Saclay
Frédéric Blanqui
Directeur de Recherche
Inria
Valentin Blot
Inria
Sylvie Boldo
Inria
Benedikt Bollig
CNRS
Frédéric Boulanger
CentraleSupélec
Patricia Bouyer-Decitre
CNRS
Esteban Castro
Université Paris-Saclay
Thomas Chatain
ENS Paris-Saclay
Sylvain Conchon
Université Paris-Saclay
Evelyne Contejean
CNRS
Marc De Visme
Inria
Stéphane Demri
CNRS
Gilles Dowek
Inria
Laurent Doyen
CNRS
Adrien Durier
Université Paris-Saclay
Jean-Christophe Filliâtre
CNRS
Alain Finkel
ENS Paris-Saclay
Caroline Fontaine
CNRS
Laurent Fribourg
CNRS
Matthias Fuegger
CNRS
Jean Goubault-Larrecq
Professeur
ENS Paris-Saclay
Armaël Guéneau
Inria
Stefan Haar
Inria
Serge Haddad
ENS Paris-Saclay
Jacques-Henri Jourdan
CNRS
Chantal Keller
Université Paris-Saclay
Stéphane Le Roux
ENS Paris-Saclay
Claude Marché
Inria
Guillaume Melquiond
Inria
Kim Nguyen
Maître de Conférences
Université Paris-Saclay
Thomas Nowak
ENS Paris-Saclay
Andrei Paskevich
Université Paris-Saclay
Christine Paulin-Mohring
Professeur
Université Paris-Saclay
Guillaume Scerri
ENS Paris-Saclay
Philippe Schnoebelen
CNRS
Stefan Schwoon
ENS Paris-Saclay
Mihaela Sighireanu
Directrice du DER Informatique
ENS Paris-Saclay
Safouan Taha
CentraleSupélec
Toto The Visitor
Pat Toto
Directrice de laboratoire
CNRS
Toto Vingt
CNRS
Benoît Valiron
CentraleSupélec
Renaud Vilmart
Inria
Frédéric Voisin
Université Paris-Saclay
Frédéric Voisin
Maitre de Conférences
Université Paris-Saclay
Théo Winterhalter
Inria
Burkhart Wolff
Université Paris-Saclay
Lina Ye
CentraleSupélec
Fatiha Zaidi
Université Paris-Saclay
Vladimir Zamdzhiev
Inria
Emeriti
Philippe Dague
Université Paris-Saclay
Zeno Douze
Administrateur systeme
Paul Gastin
ENS Paris-Saclay
Administrative and Technical Staff
Aïssatou Diallo
Inria
Yann Duplouy
Ingénieur en ingéniérie logicielle
ENS Paris-Saclay
Marie-France Grandisson
CNRS
Frédéric Liège
CNRS
Eugénie Mery
CNRS
Laëtitia Rouches
ENS Paris-Saclay
Joyce Soares Brito
Inria
Emmanuelle Theneau
Université Paris-Saclay
Postdocs and Engineers
Alidra Abdelghani
Inria
Paul Bonnot
Inria
Anthony Bordg
Inria
Johannes Bund
ENS Paris-Saclay
Alexandre Clément
Inria
Ciarán Dunne
Tomaz Gomes Mascarenhas
CNRS
David Hamelin
Inria
James Hefford
Inria
Timothée Hoffreumon
Université Paris-Saclay - Faculté des Sciences
d'Orsay
Gabriel Le Bouder
Matteo Manighetti
Inria
Mathieu Nguyen
Laurent Schneider
Inria
Claude Stolze
Inria
Augustin Vanrietvelde
Inria
PhD Students
Georges Aazan
Université Paris-Saclay
Giann Karlo Aguirre Samboni
Inria
Léo Andrès
OCamlPro
Benoît Ballenghien
Paris-Saclay
Benjamin Bordais
ENS Paris-Saclay
Margot Catinaud
Doctorante
Université Paris-Saclay
Luc Chabassier
Universite Paris-Saclay
Gustave Cortal
Université Paris-Saclay
Marin Costes
ENS Paris-Saclay
Fabricio Cravo
Université Paris-Saclay
Xavier Denis
Université Paris-Saclay
Louise Dubois De Prisque
Inria
Thiago Felicissimo
Universite Paris-Saclay
Thiago Felicissimo
Université Paris-Saclay
Gaspard Fougea
Université Paris-Saclay
Souhila Founas
Inrae
Paul Geneau de Lamarliere
Inria
Paul Geneau de Lamarlière
MERCE
Yoan Geran
Ecole des Mines de Paris
Arnaud Golfouse
Inria
Emilie Grienenberger
ENS Paris-Saclay
Baptiste Gueuziec
CEA
Yoan Géran
Mines Paris PSL
Nicolas Heurtel
Quandela
Vijay Dave Kinnari
Inria
Roman Kniazev
IPP
[[
http://www.lix.polytechnique.fr/Labo/Roman.KNIAZEV/|URL]]
Alexandrina Korneva
Université Paris-Saclay
Antoine Lanco
Inria
Luc Lapointe
ENS Paris-Saclay
Mickael Laurent
Université Paris-Cité
Amélie Ledein
Inria
Louis Lemonnier
ENS Paris-Saclay
Aliaume Lopez
ENS Paris-Saclay
Nicolas Margulies
ENS Paris-Saclay
Nicolas Meric
Université Paris-Saclay
Octave Mestoudjian
Université Paris-Saclay
Josué Moreau
Inria
Houda Mouhcine
Inria
Clément Pascutto
Cifre Tarides
Paul Patault
Université Paris-Saclay
Quentin Petitjean
ENS Paris-Saclay
Mélanie Pietri
ENS Paris-Saclay
Marc Renard
CNRS
Jérôme Ricciardi
CEA
Andrew Samokish
Cifre K-Inside3
Andrei Samokish
CIFRE Knowledge Inside
Julien Simonnet
CEA
Thomas Soullard
Universite Paris-Saclay
Nathan Thomasset
CNRS
Emmanuel Tintanet Dangla
Université Paris-Saclay
Thomas Traversié
CentraleSupélec
Rishikesh Vaishnav
Inria
Pierre Vandenhove
F.R.S.-FNRS (co-tutelle Belgique)
Isa Vialard
Ecole Polytechnique
Théo Vignon
ENS Paris-Saclay
Philippe Volte-Vieira
Université Paris-Saclay
Zhuofan XU
Université Paris-Saclay
t toto
CEA
Visitors
Massachusetts Institute of Technology
MCI Innsbruck
Massachusetts Institute of Technology
Massachusetts Institute of Technology
UPS
Ecole polytechnique
Université Paris-Saclay
CMI
Université Paris-Saclay
Massachusetts Institute of Technology
Dietmar Berwanger
CNRS
Catherine Dubois
ENSIIE
Micaela Mayero
Members on Leave
Louis Mandel
Université Paris-Saclay
Update April 14, 2022