Home Presentation Members Meetings Publications Deliverables
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.
  • Alessia Milani
  • Anca Muscholl
  • Corentin Travers - Local coordinator
  • Igor Walukiewicz
  • LSV
  • Benedikt Bollig - Local coordinator
  • Matthias Függer
  • Paul Gastin
  • Fabian Reiter