Pôle Modèles Distributed Computing

Contact: Matthias Függer

We are working on topics from distributed systems, studying their properties and fundamental limitations both from a theoretical and application-oriented perspective.

An incomplete list of current research questions we address in this group is

• Distributed biological systems. Analyzing and designing the dynamics of natural and synthetic biological systems.
• Automated synthesis of distributed systems. Given a specification and a communication model, generate a distributed algorithm that complies with the specification in the given model.
• Distributed games. Multiple agents collaborating or competing against an environment to maximize their payoff.
• Distributed AI. AI to synthesize distributed systems.
• Runtime verification. Monitoring a system during execution to detect anomalies.

People

Faculty

Thibaut Balabonski

Maître de conférences

Université Paris-Saclay

URL

Dietmar Berwanger

Chargé de recherche

CNRS

URL

Benedikt Bollig

Directeur de recherche

CNRS

URL

Thomas Chatain

Maître de conférences

ENS Paris-Saclay

URL

Sylvain Conchon

Professeur

Université Paris-Saclay

URL

Adrien Durier

Maître de conférences

Université Paris-Saclay

Alain Finkel

Professeur

ENS Paris-Saclay

URL

Laurent Fribourg

Directeur de recherche

CNRS

URL

Matthias Fuegger

Research Director

CNRS

URL

Stéphane Le Roux

Maître de conférences

ENS Paris-Saclay

URL

Thomas Nowak

Professor

ENS Paris-Saclay

URL

Stefan Schwoon

Maître de conférences

ENS Paris-Saclay

URL

Mihaela Sighireanu

Professeur

ENS Paris-Saclay

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

Emeriti

Philippe Dague

Professeur

Université Paris-Saclay

URL

Paul Gastin

Professeur

ENS Paris-Saclay

URL

Serge Haddad

Professeur

ENS Paris-Saclay

URL

Postdocs

PhD students

Benoît Ballenghien

Doctorant

Paris-Saclay

Mariapia D'Urso

Doctorante

Université Paris-Saclay

Luc Lapointe

Doctorant

ENS Paris-Saclay

URL

Alexandra Loudières

Doctorante

Université Paris-Saclay

Benjamin Puyobro

Doctorant

IRT-SystemX

Seminar

For seminars please see the seminar page.

Joining the group / open positions

We are looking for excellent Postdocs, PhDs, and interns. If you are interested in joining, please contact a member of the group that is closest to your research interests.

We are also looking for high potentials that want to join the group as a researcher. If you got interested please contact Matthias Függer.

Publications

The group's publications can be accessed via https://hal.science/LMF-CDS. Recent publications are listed below.