Faculty

Idir Ait-Sadoune

Maître de conférences

CentraleSupélec

URL

Pablo Arnault

Chercheur

Inria

Pablo Arrighi

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

Dietmar Berwanger

Chercheur

CNRS

URL

Frédéric Blanqui

Chercheur

Inria

URL

Valentin Blot

Chercheur

Inria

URL

Sylvie Boldo

Directrice de recherche

Inria

URL

Benedikt Bollig

Directeur de recherche

CNRS

URL

Frédéric Boulanger

Professeur

CentraleSupélec

URL

Patricia Bouyer-Decitre

Directrice du laboratoire

Directrice de recherche

CNRS

URL

Thomas Chatain

Maître de conférences

ENS Paris-Saclay

URL

Sylvain Conchon

Professeur

Université Paris-Saclay

URL

Evelyne Contejean

Directrice-adjointe du laboratoire

Directrice de recherche

CNRS

URL

Marc De Visme

Chercheur

Inria

URL

Stéphane Demri

Directeur de recherche

CNRS

URL

Gilles Dowek

Directeur de recherche

Inria

URL

Laurent Doyen

Chercheur

CNRS

URL

Jean-Christophe Filliâtre

Directeur de recherche

CNRS

URL

Alain Finkel

Professeur

ENS Paris-Saclay

URL

Caroline Fontaine

Directrice de recherche

CNRS

URL

Laurent Fribourg

Directeur de recherche

CNRS

URL

Matthias Fuegger

Chercheur

CNRS

URL

Jean Goubault-Larrecq

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

Université Paris-Saclay

URL

Thomas Nowak

Professeur

ENS Paris-Saclay

URL

Andrei Paskevich

Maître de conférences

Université Paris-Saclay

URL

Christine Paulin-Mohring

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

Professeur

ENS Paris-Saclay

URL

Safouan Taha

Maître de conférences

CentraleSupélec

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

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

Maître de conférences

Université Paris-Saclay

URL

Vladimir Zamdzhiev

Inria

URL

Emeriti

Philippe Dague

Professeur

Université Paris-Saclay

URL

Paul Gastin

Professeur

ENS Paris-Saclay

URL

Administrative and Technical Staff

Diallo Aissatou

AER Inria

Inria

Yann Duplouy

Ingénieur en développement

ENS Paris-Saclay

URL

Marie-France Grandisson

Responsable administrative

CNRS

URL

Frédéric Liège

Ingénieur systèmes et réseaux

CNRS

Eugénie Mery

Gestionnaire administrative

CNRS

URL

Aminatou Mfonpeya

Gestionnaire DER Informatique

ENS Paris-Saclay

URL

Postdocs and Engineers

Paul Bonnot

Inria

Thomas Chevet

Université Paris-Saclay

Adrien Durier

Université Paris-Saclay

Solène Moreau

Inria

URL

Augustin Vanrietvelde

Inria

Pierre Vial

Inria

URL

PhD Students

Georges Aazan

Doctorant

Université Paris-Saclay

URL

Giann Karlo Aguirre Samboni

Doctorant

Inria

URL

Léo Andrès

Doctorant

OCamlPro

Benoit Ballenghien

Doctorant

CNRS

Benjamin Bordais

Doctorant

ENS Paris-Saclay

URL

Agustín Pablo Borgna

Doctorant

CNRS

URL

Margot Catinaud

Université Paris-Saclay

Luc Chabassier

Doctorant

Universite Paris-Saclay

Kostia Chardonnet

Doctorant

Université Paris-Saclay

URL

Gustave Cortal

Doctorant

Université Paris-Saclay

URL

Marin Costes

Doctorant

ENS Paris-Saclay

Fabricio Cravo

Doctorant

Universite Paris-Saclay

Ilham Dami

Doctorante

ENS Paris-Saclay

URL

Xavier Denis

Doctorant

Université Paris-Saclay

Louise Dubois De Prisque

Doctorante

Inria

URL

Thiago Felicissimo

Doctorant

Universite Paris-Saclay

URL

Valentin Fouillard

Doctorant

CNRS

URL

Paul Geneau de Lamarliere

Doctorant

Inria

Yoan Geran

Doctorant

Ecole des Mines de Paris

Guillaume Girol

Doctorant

CEA

Emilie Grienenberger

Doctorante

ENS Paris-Saclay

URL

Baptiste Gueuziec

Doctorant

CEA

Mathieu Hilaire

Doctorant

ENS Paris-Saclay

URL

Gabriel Hondet

Doctorant

Inria

URL

Roman Kniazev

Doctorant

IPP

URL

Alexandrina Korneva

Doctorante

Université Paris-Saclay

Antoine Lanco

Doctorant

Inria

URL

Mickael Laurent

Doctorant

Université de Paris

Amélie Ledein

Doctorante

Inria

URL

Louis Lemonnier

Doctorant

ENS Paris-Saclay

URL

Aliaume Lopez

Doctorant

ENS Paris-Saclay

URL

Nicolas Meric

Doctorant

Université Paris-Saclay

Glen Mevel

Doctorant

Inria

URL

Josué Moreau

Doctorant

Inria

Houda Mouhcine

Doctorante

Inria

Clément Pascutto

Doctorant

Cifre Tarides

Quentin Petitjean

Doctorant

ENS Paris-Saclay

Andrew Samokish

Doctorant

Cifre K-Inside3

Julien Simonnet

Doctorant

CEA

Thomas Soullard

Doctorant

Universite Paris-Saclay

Olivier Stietel

Doctorant

Universite Paris

Amrita Suresh

Doctorante

ENS Paris-Saclay

URL

Nathan Thomasset

Université Paris-Saclay

URL

Pierre Vandenhove

Doctorant

FNRS/FRS (co-tutelle Belgique)

URL

Isa Vialard

Doctorant

Ecole Polytechnique

Zhuofan Xu

Doctorant

Université Paris-Saclay

Rébecca Zucchini

Doctorante

Université Paris-Saclay

Visitors

Luidnel Maignan

Inria

URL

Members on Leave

Delphine Longuet

Maître de conférences

Université Paris-Saclay

URL

Louis Mandel

Maître de conférences

Université Paris-Saclay

URL

Antoine Petit

Professeur

ENS Paris-Saclay

URL

Update April 14, 2022