Idir AIT SADOUNE
Maître de conférences
CentraleSupélec
Faculty
Pablo Arnault
Chercheur
Inria
Pablo Arrighi
Professeur
Université Paris-Saclay
Marc Baboulin
Professeur
Université Paris-Saclay
Thibaut Balabonski
Maître de conférences
Université Paris-Saclay
Bruno Barras
Chercheur
Inria
Véronique Benzaken
Professeur
Université Paris-Saclay
Dietmar Berwanger
Chargé de recherche
CNRS
Frédéric Blanqui
Directeur de recherche
Inria
Sylvie Boldo
Directrice de recherche
Inria
Benedikt Bollig
Directeur de recherche
CNRS
Frédéric Boulanger
Professeur
CentraleSupélec
Patricia Bouyer-Decitre
Directrice de laboratoire
Directrice de recherche
CNRS
Thomas Chatain
Maître de conférences
ENS Paris-Saclay
Sylvain Conchon
Professeur
Université Paris-Saclay
Évelyne Contejean
Directrice de recherche
CNRS
Marc de Visme
Chercheur
Inria
Stéphane Demri
Directeur de recherche
CNRS
Gilles Dowek
Directeur de recherche
Inria
Laurent Doyen
Chercheur
CNRS
Adrien Durier
Maître de conférences
Université Paris-Saclay
Jean-Christophe Filliâtre
Directeur de recherche
CNRS
Alain Finkel
Professeur
ENS Paris-Saclay
Caroline Fontaine
Directrice de recherche
CNRS
Laurent Fribourg
Directeur de recherche
CNRS
Matthias Fuegger
Chercheur
CNRS
Jean Goubault-Larrecq
Professeur
ENS Paris-Saclay
Armaël Guéneau
Chercheur
Inria
Jacques-Henri Jourdan
Chercheur
CNRS
Chantal Keller
Maître de conférences
Université Paris-Saclay
Stéphane Le Roux
Maître de conférences
ENS Paris-Saclay
Claude Marché
Directrice de recherche
Inria
Guillaume Melquiond
Directeur de recherche
Inria
Kim Nguyen
Maître de conférences
Université Paris-Saclay
Thomas Nowak
Professor
ENS Paris-Saclay
Andrei Paskevich
Maître de conférences
Université Paris-Saclay
Christine Paulin
Professeur
Université Paris-Saclay
Guillaume Scerri
Maître de conférences
ENS Paris-Saclay
Philippe Schnoebelen
Directeur de recherche
CNRS
Stefan Schwoon
Maître de conférences
ENS Paris-Saclay
Mihaela Sighireanu
Directrice du DER Informatique
Professeur
ENS Paris-Saclay
Safouan Taha
Maître de conférences
CentraleSupélec
Benoît Valiron
Maître de conférences
CentraleSupélec
Renaud Vilmart
ISFP
Inria
Matthew Wilson
Maître de conférences
CéntraleSupélec
Théo Winterhalter
Chercheur
INRIA
Burkhart Wolff
Professeur
Université Paris-Saclay
Lina Ye
Maître de conférences
CentraleSupélec
Fatiha Zaidi
Professeur
Université Paris-Saclay
Vladimir Zamdzhiev
ISFP
Inria
Emeriti
Philippe Dague
Professeur
Université Paris-Saclay
Paul Gastin
Professeur
ENS Paris-Saclay
Serge Haddad
Professeur
ENS Paris-Saclay
Administrative and Technical Staff
Aïssatou Diallo
AER Deducteam
Assistante administrative
Inria
Yann Duplouy
Ingénieur en ingéniérie logicielle
ITA
ENS Paris-Saclay
Marie-France Grandisson
Responsable administrative
ITA
CNRS
Frédéric Liège
Administrateur systèmes et réseaux
ITA
CNRS
Eugénie Mery
Gestionnaire
ITA
CNRS
Laëtitia Rouches
Gestionnaire DER Informatique
ENS Paris-Saclay
Joyce Soares Brito
AER Toccata, QuaCS
Assistante administrative
Inria
Emmanuelle THENEAU
Gestionnaire
ITA
Université Paris-Saclay
Postdocs and Engineers
Alidra Abdelghani
Ingénieur
Inria
Anthony Bordg
Postdoctorant
Inria
Johannes Bund
Postdoctorant
ENS Paris-Saclay
Alexandre Clément
Postdoctorant
Inria
Ciarán Dunne
Postdoctorant
Inria
David Hamelin
Ingénieur
Inria
James Hefford
Postdoctorant
Inria
Timothée Hoffreumon
Postdoctorant
Université Paris-Saclay
Marco Lewis
Postdoctorant
Inria
Mathieu Nguyen
Postdoctorant
Michel Nicolis
Postdoctorant
Inria
Laurent Schneider
Ingénieur
Inria
PhD Students
Léo Andrès
Doctorant
OCamlPro
Benoît Ballenghien
Doctorant
Paris-Saclay
Margot Catinaud
Doctorante
Doctorante
Université Paris-Saclay
Luc Chabassier
Doctorant
Universite Paris-Saclay
Gustave Cortal
Doctorant
Université Paris-Saclay
Marin Costes
Doctorant
ENS Paris-Saclay
Mariapia D'Urso
Doctorante
Université Paris-Saclay
Nicolas Dumange
Doctorant
ENS Paris-Saclay
Thiago Felicissimo
Doctorant
Université Paris-Saclay
Gaspard Fougea
Doctorant
Université Paris-Saclay
Paul Geneau de Lamarlière
Doctorant
MERCE
Arnaud Golfouse
Doctorant
Inria
Emilie Grienenberger
Doctorante
ENS Paris-Saclay
Yoan Géran
Doctorant
Mines Paris PSL
HOANG Duy
Doctorant
Université Paris-Saclay
Nicolas Heurtel
Doctorant
Quandela
Kinnari Dave
Doctorante
Inria
Julien Lamiroy
Doctorant
Université Paris-Saclay
Luc Lapointe
Doctorant
ENS Paris-Saclay
Amélie Ledein
Doctorante
Inria
Thea Li
Doctorante
Inria
Alexandra Loudières
Doctorante
Université Paris-Saclay
Nicolas Margulies
Doctorant
ENS Paris-Saclay
Octave Mestoudjian
Doctorant
Université Paris-Saclay
Josué Moreau
Doctorant
Inria
Houda MOUHCINE
Doctorante
Inria
Paul Patault
Doctorant
Université Paris-Saclay
Quentin Petitjean
Doctorant
ENS Paris-Saclay
Mélanie Pietri
Doctorante
ENS Paris-Saclay
Benjamin Puyobro
Doctorant
IRT-SystemX
Paul ROBERT
Doctorant
CEA
Marc Renard
Doctorant
CNRS
Jérome Ricciardi
Doctorant
CEA
Andrei Samokish
Doctorant
CIFRE Knowledge Inside
Julien Simonnet
Doctorant
CentraleSupélec
Thomas Soullard
Doctorant
Universite Paris-Saclay
Melanie Taprogge
Doctorant
Université Paris-Saclay
Emmanuel Tintanet Dangla
Doctorant
Université Paris-Saclay
Thomas Traversié
Doctorant
CentraleSupélec
Rishikesh Vaishnav
Doctorant
Inria
Théo Vignon
Doctorant
ENS Paris-Saclay
Philippe Volte--Vieira
Doctorant
Université Paris-Saclay
Zhuofan Xu
Doctorant
Université Paris-Saclay
Paul Zeinaty
Doctorant
Direction Générale de l'Armement
Visitors
Cole Comfort
Postdoctorant
Université de Lorraine
Catherine Dubois
Professeur
ENSIIE
Micaela Mayero
Maître de conférences
LIPN, Université Paris-Nord
Members on Leave
Update April 14, 2022