Faculty

Idir Ait-Sadoune

Enseignant Chercheur

Maître de conférences

CentraleSupélec

URL

Pablo Arnault

Chercheur

Inria

Pablo Arrighi

Professeur

Université Paris-Saclay

URL

Marc Baboulin

Professeur

Université Paris-Saclay

URL

Thibaut Balabonski

Maître de conférences

Université Paris-Saclay

URL

Bruno Barras

Chercheur

Inria

URL

Véronique Benzaken

Professeur

Université Paris-Saclay

URL

Frédéric Blanqui

Directeur de Recherche

Inria

URL

Valentin Blot

Chercheur

Inria

URL

Sylvie Boldo

Directeur de recherche

Inria

URL

Benedikt Bollig

CNRS

URL

Frédéric Boulanger

Professeur

CentraleSupélec

URL

Patricia Bouyer-Decitre

Directeur de recherche

CNRS

URL

Esteban Castro

Université Paris-Saclay

Thomas Chatain

Maître de conférences

ENS Paris-Saclay

URL

Sylvain Conchon

Professeur

Université Paris-Saclay

URL

Evelyne Contejean

Directeur de recherche

CNRS

URL

Marc De Visme

Chercheur

Inria

URL

Stéphane Demri

Directeur de recherche

CNRS

URL

Gilles Dowek

Directeur de recherche

Inria

Laurent Doyen

Chercheur

CNRS

URL

Adrien Durier

Université Paris-Saclay

Jean-Christophe Filliâtre

Directeur de recherche

CNRS

URL

Alain Finkel

Professeur

ENS Paris-Saclay

URL

Caroline Fontaine

Directeur de recherche

CNRS

URL

Laurent Fribourg

CNRS

URL

Matthias Fuegger

Chercheur

CNRS

URL

Jean Goubault-Larrecq

Professeur

Professeur

ENS Paris-Saclay

URL

Armaël Guéneau

Chercheur

Inria

Stefan Haar

Directeur de recherche

Inria

URL

Serge Haddad

Professeur

ENS Paris-Saclay

URL

Jacques-Henri Jourdan

Chercheur

CNRS

URL

Chantal Keller

Maître de conférences

Université Paris-Saclay

URL

Stéphane Le Roux

Maître de conférences

ENS Paris-Saclay

URL

Claude Marché

Directeur de recherche

Inria

URL

Guillaume Melquiond

Directeur de recherche

Inria

URL

Kim Nguyen

Maître de Conférences

Maître de conférences

Université Paris-Saclay

URL

Thomas Nowak

ENS Paris-Saclay

URL

Andrei Paskevich

Maître de conférences

Université Paris-Saclay

URL

Christine Paulin-Mohring

Professeur

Professeur

Université Paris-Saclay

URL

Guillaume Scerri

Maître de conférences

ENS Paris-Saclay

URL

Philippe Schnoebelen

Directeur de recherche

CNRS

URL

Stefan Schwoon

Maître de conférences

ENS Paris-Saclay

URL

Mihaela Sighireanu

Directrice du DER Informatique

ENS Paris-Saclay

URL

Safouan Taha

Maître de conférences

CentraleSupélec

Toto The Visitor

Pat Toto

Directrice de laboratoire

CNRS

URL

Toto Vingt

CNRS

Benoît Valiron

Maître de conférences

CentraleSupélec

URL

Renaud Vilmart

Inria

URL

Frédéric Voisin

Maître de conférences

Université Paris-Saclay

URL

Frédéric Voisin

Maitre de Conférences

Maître de conférences

Université Paris-Saclay

URL

Théo Winterhalter

Chercheur

Inria

URL

Burkhart Wolff

Professeur

Université Paris-Saclay

URL

Lina Ye

Maître de conférences

CentraleSupélec

URL

Fatiha Zaidi

Professeur

Université Paris-Saclay

URL

Vladimir Zamdzhiev

Inria

URL

Emeriti

Philippe Dague

Professeur

Université Paris-Saclay

URL

Zeno Douze

Administrateur systeme

URL

Paul Gastin

Professeur

ENS Paris-Saclay

URL

Administrative and Technical Staff

Aïssatou Diallo

Inria

Yann Duplouy

Ingénieur en ingéniérie logicielle

ENS Paris-Saclay

URL

Marie-France Grandisson

CNRS

URL

Frédéric Liège

CNRS

Eugénie Mery

CNRS

URL

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

Tomaz Gomes Mascarenhas

CNRS

David Hamelin

Inria

James Hefford

Inria

Gabriel Le Bouder

Matteo Manighetti

Inria

Mathieu Nguyen

Laurent Schneider

Inria

Claude Stolze

Inria

Augustin Vanrietvelde

Inria

PhD Students

Georges Aazan

Doctorant

Université Paris-Saclay

URL

Giann Karlo Aguirre Samboni

Doctorant

Inria

URL

Léo Andrès

Doctorant

OCamlPro

Benoît Ballenghien

Paris-Saclay

Benjamin Bordais

Doctorant

ENS Paris-Saclay

URL

Margot Catinaud

Doctorante

Université Paris-Saclay

Luc Chabassier

Doctorant

Universite Paris-Saclay

Gustave Cortal

Doctorant

Université Paris-Saclay

URL

Marin Costes

Doctorant

ENS Paris-Saclay

Fabricio Cravo

Doctorant

Université Paris-Saclay

Xavier Denis

Doctorant

Université Paris-Saclay

Louise Dubois De Prisque

Doctorant

Inria

URL

Thiago Felicissimo

Doctorant

Universite Paris-Saclay

URL

Thiago Felicissimo

Université Paris-Saclay

Gaspard Fougea

Université Paris-Saclay

Souhila Founas

Doctorant

Inrae

Paul Geneau de Lamarliere

Doctorant

Inria

Paul Geneau de Lamarlière

MERCE

Yoan Geran

Doctorant

Ecole des Mines de Paris

Arnaud Golfouse

Inria

URL

Emilie Grienenberger

Doctorant

ENS Paris-Saclay

URL

Baptiste Gueuziec

Doctorant

CEA

Yoan Géran

Mines Paris PSL

Nicolas Heurtel

Doctorant

Quandela

URL

Vijay Dave Kinnari

Doctorant

Inria

Alexandrina Korneva

Doctorant

Université Paris-Saclay

Antoine Lanco

Doctorant

Inria

URL

Luc Lapointe

ENS Paris-Saclay

URL

Mickael Laurent

Université Paris-Cité

URL

Amélie Ledein

Doctorant

Inria

URL

Louis Lemonnier

Doctorant

ENS Paris-Saclay

URL

Aliaume Lopez

Doctorant

ENS Paris-Saclay

URL

Nicolas Margulies

ENS Paris-Saclay

Nicolas Meric

Doctorant

Université Paris-Saclay

Octave Mestoudjian

Université Paris-Saclay

Josué Moreau

Inria

Houda Mouhcine

Doctorant

Inria

Clément Pascutto

Doctorant

Cifre Tarides

Paul Patault

Université Paris-Saclay

URL

Quentin Petitjean

ENS Paris-Saclay

Marc Renard

Doctorant

CNRS

Jérôme Ricciardi

Doctorant

CEA

Andrew Samokish

Doctorant

Cifre K-Inside3

Andrei Samokish

CIFRE Knowledge Inside

Julien Simonnet

Doctorant

CEA

Thomas Soullard

Doctorant

Universite Paris-Saclay

Nathan Thomasset

Doctorant

CNRS

URL

Emmanuel Tintanet Dangla

Université Paris-Saclay

Thomas Traversié

CentraleSupélec

Rishikesh Vaishnav

Doctorant

Inria

URL

Pierre Vandenhove

Doctorant

F.R.S.-FNRS (co-tutelle Belgique)

URL

Isa Vialard

Doctorant

Ecole Polytechnique

Théo Vignon

ENS Paris-Saclay

Philippe Volte-Vieira

Université Paris-Saclay

URL

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

Chercheur

CNRS

URL

Catherine Dubois

ENSIIE

URL

Micaela Mayero

Members on Leave

Louis Mandel

Maître de conférences

Université Paris-Saclay

URL

Update April 14, 2022