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

CNRS

URL

Benedikt Bollig

CNRS

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

Alain Finkel

Professeur

ENS Paris-Saclay

URL

Laurent Fribourg

CNRS

URL

Matthias Fuegger

Chercheur

CNRS

URL

Stefan Haar

Directeur de recherche

Inria

URL

Stéphane Le Roux

Maître de conférences

ENS Paris-Saclay

URL

Thomas Nowak

ENS Paris-Saclay

URL

Stefan Schwoon

Maître de conférences

ENS Paris-Saclay

URL

Mihaela Sighireanu

ENS 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

Johannes Bund

ENS Paris-Saclay

PhD students

Mariapia D'Urso

Doctorante

Université Paris-Saclay

Luc Lapointe

Doctorant

ENS Paris-Saclay

URL

Alexandra Loudières

Doctorante

Université Paris-Saclay

Publications

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

2024

2023

2022

2021

2020

2019

2018

2012

2011

Projects

running

  • DREAMY (ANR) on Distributed Algorithms for Microbiological Systems.
  • COSTXPRESS (ANR) on Quantitative models of expression costs of synthetic genetic circuits.

past

currently no past projects

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.

Contact

Any other questions? Please write us.

Email: mfuegger@lmf.cnrs.fr