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

Université Paris-Saclay
Dietmar Berwanger

CNRS
Benedikt Bollig

CNRS
Thomas Chatain

ENS Paris-Saclay
Sylvain Conchon
Université Paris-Saclay
Adrien Durier
Université Paris-Saclay
Alain Finkel
ENS Paris-Saclay
Laurent Fribourg

CNRS
Matthias Fuegger

CNRS
Stéphane Le Roux

ENS Paris-Saclay
Thomas Nowak

ENS Paris-Saclay
Stefan Schwoon
ENS Paris-Saclay
Mihaela Sighireanu
ENS Paris-Saclay
Burkhart Wolff
Université Paris-Saclay
Lina Ye

CentraleSupélec
Fatiha Zaidi
Université Paris-Saclay
Emeriti
Postdocs
Lucas Bueri

Université Paris-Saclay
Johannes Bund
ENS Paris-Saclay
PhD students
Benoît Ballenghien

Paris-Saclay
Mariapia D'Urso
Université Paris-Saclay
Luc Lapointe
ENS Paris-Saclay
Alexandra Loudières
Université Paris-Saclay
Benjamin Puyobro
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.
-
Contact
Any other questions? Please write us.
Email: mfuegger@lmf.cnrs.fr