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

Université Paris-Saclay

URL

Thibaut Balabonski

Maître de conférences

Université Paris-Saclay

URL

Bruno Barras

Chercheur

Inria

URL

Thibaut Benjamin

Université Paris-Saclay

Véronique Benzaken

Professeur

Université Paris-Saclay

URL

Dietmar Berwanger

CNRS

URL

Frédéric Blanqui

Inria

URL

Sylvie Boldo

Directrice de recherche

Inria

URL

Benedikt Bollig

CNRS

URL

Frédéric Boulanger

Professeur

CentraleSupélec

URL

Patricia Bouyer-Decitre

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

Directrice de recherche

CNRS

URL

Marc De Visme

Chercheur

Inria

URL

Stéphane Demri

Directeur de recherche

CNRS

URL

Laurent Doyen

Directeur de recherche

CNRS

URL

Adrien Durier

Université Paris-Saclay

Uli Fahrenberg

Université Paris-Saclay

URL

Jean-Christophe Filliâtre

Directeur de recherche

CNRS

URL

Alain Finkel

Professeur

ENS Paris-Saclay

URL

Caroline Fontaine

Directrice de recherche

CNRS

URL

Matthias Fuegger

CNRS

URL

Thomas Galley

Université Paris-Saclay

Sam van Gool

Professeur

ENS Paris-Saclay

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

ENS Paris-Saclay

URL

Andrei Paskevich

Maître de conférences

Université Paris-Saclay

URL

Christine Paulin-Mohring

Université Paris-Saclay

URL

Maïwenn Racouchot

Université Paris-Saclay

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

Benoît Valiron

Maître de conférences

CentraleSupélec

URL

Renaud Vilmart

Inria

URL

Matthew Wilson

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

Inria

URL

Emeriti

Philippe Dague

Professeur

Université Paris-Saclay

URL

Laurent Fribourg

CNRS

URL

Paul Gastin

Professeur

ENS Paris-Saclay

URL

Serge Haddad

Professeur

ENS Paris-Saclay

URL

Administrative and Technical Staff

Héloïse Buquet

Chargée de communication

CNRS

URL

Yann Duplouy

Ingénieur en ingénierie logicielle

ENS Paris-Saclay

URL

Marie-France Grandisson

Responsable administrative

CNRS

Frédéric Liège

Administrateur systèmes et réseaux

CNRS

URL

Eugénie Mery

Gestionnaire

CNRS

URL

Laëtitia Rouches

ENS Paris-Saclay

Joyce Soares Brito

AER Toccata, QuaCS

Inria

Emmanuelle Theneau

Gestionnaire

Université Paris-Saclay

Postdocs and Engineers

Alidra Abdelghani

Inria

Raphaël Berthon

Université Paris-Saclay

URL

Cole Comfort

Inria

URL

Maël Coulmance

Inria

Matthew Di Meglio

Inria

URL

Timothée Hoffreumon

Université Paris-Saclay

Alexandrina Korneva

Université Paris-Saclay

Anaëlle Le Dévéhat

Université Paris-Saclay

Marco John Lewis

Inria

URL

Mario Alberto Machado da Silva

Inria Paris Saclay - équipe QUACS

URL

Josué Moreau

Inria

URL

Brice Pointal

Université Paris-Saclay

Marc Renard

INRIA

Hans-Jörg Schurr

Inria

Hector Suzanne

Université Paris-Saclay

URL

Kerian Thuillier

Université Paris-Saclay

PhD Students

Dogukan Bakircioglu

Doctorant

Inria

Ewen Broudin-Caradec

Doctorant

Université Paris-Saclay

URL

Margot Catinaud

Doctorante

Doctorante

Université Paris-Saclay

URL

Mariapia D'Urso

Doctorante

Université Paris-Saclay

Nicolas Dumange

Doctorant

ENS Paris-Saclay

URL

Raphaël Faure

Doctorant

Université Paris-Saclay

URL

Gaspard Fougea

Doctorant

Université Paris-Saclay

URL

Dhrubajyoti Ghosh

Doctorant

Université Paris-Saclay

URL

Diane Golfouse

Doctorante

Inria

URL

Antoine Gontard

Doctorant

Université Paris-Saclay

URL

Antoine Guilmin-Crépon

Doctorant

Université Paris-Saclay

Duy HOANG

Doctorant

Université Paris-Saclay

Amine Haddou

Doctorant

ENS Paris-Saclay

David Hamelin

Doctorant

Inria

Seonghun Jung

Doctorant

Université Paris-Saclay

Vincent Lafeychine

Doctorant

ENS Paris-Saclay

URL

Julien Lamiroy

Doctorant

Université Paris-Saclay

Luc Lapointe

Doctorant

ENS Paris-Saclay

URL

Thea Li

Doctorante

Inria

URL

Alexandra Loudières

Doctorante

Université Paris-Saclay

Erwann Loulergue

Doctorant

Université Paris-Saclay

URL

Aymane Maaitat

Doctorant

Université Paris-Saclay

Nicolas Margulies

Doctorant

ENS Paris-Saclay

Guillermo Martin

Doctorant

Université Paris-Saclay

Ivan Martinez Comas

Doctorant

Inria

Octave Mestoudjian

Doctorant

Université Paris-Saclay

Paul Patault

Doctorant

Université Paris-Saclay

URL

Quoc Viet Pham

Doctorant

Université Paris-Saclay

Mélanie Pietri

Doctorante

ENS Paris-Saclay

Gabrielle Porcher

Doctorante

Université Paris-Saclay

Benjamin Puyobro

Doctorant

IRT-SystemX

Paul ROBERT

Doctorant

CEA

Nicolas Richet

Doctorant

Université Paris-Saclay

Sandro Rodríguez Muñoz

Doctorant

Université Paris-Saclay

Andrei Samokish

Doctorant

CIFRE Knowledge Inside

Henri Saudubray

Doctorant

Université Paris-Saclay

URL

Melanie Taprogge

Doctorant

Université Paris-Saclay

Thomas Traversié

Doctorant

CentraleSupélec

URL

Rishikesh Vaishnav

Doctorant

Inria

URL

Valeria Valdés Ríos

Doctorante

Montimage

Théo Vignon

Doctorant

ENS Paris-Saclay

Philippe Volte-Vieira

Doctorant

Université Paris-Saclay

URL

Tonglin YAN

Doctorant

Université Paris-Saclay

Inès Yeterian

Doctorante

SNCF

Paul Zeinaty

Doctorant

Direction Générale de l'Armement

Adham Zekri

Doctorant

Inria

Visitors

Catherine Dubois

ENSIIE

URL

Jason Hartline

Northwestern University

URL

Tarmo Uustalu

Reykjavik University and Tallinn University of Technology

URL

Marie VAN DEN BOGAARD

Université Gustave Eiffel

Vaishnavi Vishwanath

Chennai Mathematical Institute, India

Members on Leave

Update 3 September, 2026