Panda:
Parallel and Distributed Analysis

Panda is a 3-year research project in computer science, started in September 2009 and jointly developed by several partners across France, both academic and industrial.

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

The aim of Panda is 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 counts 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.