Faculty

Idir AIT SADOUNE

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

Dietmar Berwanger

Chargé de recherche

CNRS

URL

Frédéric Blanqui

Directeur de recherche

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 de laboratoire

Directrice de recherche

CNRS

URL

Thomas Chatain

Maître de conférences

ENS Paris-Saclay

URL

Sylvain Conchon

Professeur

Université Paris-Saclay

URL

Évelyne Contejean

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

Laurent Doyen

Chercheur

CNRS

URL

Adrien Durier

Maître de conférences

Université Paris-Saclay

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

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é

Directrice de recherche

Inria

URL

Guillaume Melquiond

Directeur de recherche

Inria

URL

Kim Nguyen

Maître de conférences

Université Paris-Saclay

URL

Thomas Nowak

Professor

ENS Paris-Saclay

URL

Andrei Paskevich

Maître de conférences

Université Paris-Saclay

URL

Christine Paulin

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

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

ISFP

Inria

URL

Matthew Wilson

Maître de conférences

CéntraleSupélec

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

ISFP

Inria

URL

Emeriti

Philippe Dague

Professeur

Université Paris-Saclay

URL

Paul Gastin

Professeur

ENS Paris-Saclay

URL

Serge Haddad

Professeur

ENS Paris-Saclay

URL

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

URL

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

URL

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

URL

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

URL

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

URL

Emilie Grienenberger

Doctorante

ENS Paris-Saclay

URL

Yoan Géran

Doctorant

Mines Paris PSL

HOANG Duy

Doctorant

Université Paris-Saclay

Nicolas Heurtel

Doctorant

Quandela

URL

Kinnari Dave

Doctorante

Inria

Julien Lamiroy

Doctorant

Université Paris-Saclay

Luc Lapointe

Doctorant

ENS Paris-Saclay

URL

Amélie Ledein

Doctorante

Inria

URL

Thea Li

Doctorante

Inria

URL

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

URL

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

URL

Rishikesh Vaishnav

Doctorant

Inria

URL

Théo Vignon

Doctorant

ENS Paris-Saclay

Philippe Volte--Vieira

Doctorant

Université Paris-Saclay

URL

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

URL

Micaela Mayero

Maître de conférences

LIPN, Université Paris-Nord

URL

Members on Leave

Update April 14, 2022