Panda:
Parallel and Distributed Analysis

Panda was a research project in computer science, which took place from September 2009 to April 2013 and was jointly developed by several partners across France, both academic and industrial.

Financial support was provided by the Agence Nationale de la Recherche (ANR).

The aim of Panda was to bring together different mathematical models of parallel and concurrent computation (geometric models, rewriting theory, higher category theory, stochastic processes), along with theoretical frameworks for static analysis (spatial logics, proof construction), in order to guide the development of software tools that meet industrial needs of program specification and verification (in particular, fault detection of parallel programs involved in avionics).

The project counted 19 permanent members, plus a Ph.D. student and a post-doctoral fellow supported by grants provided by ANR.

You may use the navigation bar on the left to explore the contents of this web site. For any further information, comment or request about the project, please contact Catuscia Palamidessi, Panda's scientific leader.