Team AlGorille

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Other Grants and Activities

Regional initiatives

Lorraine Regional Council

Martin Quinson received a grant from the Lorraine Region for two years (2010–2011) to fund our exploratory work on the possibility to use formal methods such as model-checking to ensure some properties (such as the lack of deadlocks in any case) of large-scale distributed algorithms. The results of this action are described in Sections 6.3.3 and 6.3.7 .

Martin Quinson and Lucas Nussbaum are leading a project of the regional CPER contract on experimental grids. In 2011, this project benefited of a funding of 400k euros to maintain and improve the local Grid'5000 infrastructure and animate both the research on experimental grids and the research community using these facilities. The publication [24] is resulting from this effort.


Logo Inria