ANR project FREDDA

FoRmal mEthods for the Design of Distributed Algorithms

The project FREDDA regroups three laboratories: IRIF, LaBRI and LSV and in each of these partners there are some experts in formal methods and some experts in the design of distributed algorithms.
In fact one goal of the project is to rebuild strong exchanges between these two communities of researchers.

• Ahmed Bouajjani
• Carole Delporte
• Hugues Fauconnier
• Pierre Fraigniaud
• Yan Jurski
• François Laroussinie
• Arnaud Sangnier - Project coordinator

Alessia Milani

Anca Muscholl

Corentin Travers - Local coordinator

Igor Walukiewicz

Benedikt Bollig - Local coordinator

Matthias Függer

Paul Gastin

Fabian Reiter