MOSCOVA project (INRIA Rocquencourt)

Our project is interested in the development, compilation, and semantics of concurrent and functional languages for distributed environments, with possible migrations.

We have investigated a new model of distributed programming, derived from the pi-calculus, called the Join-calculus. We develop an implementation based upon this calculus: JoCaml.

We also have interests in the validation and the debugging of real concurrent programs, such as the Caml concurrent garbage collector or the Ariane 5 rocket on-board software.

Members of the MOSCOVA project

Permanent members

Secretaries

PhD students and Post-docs

Former PhD students, members, and close collaborators

Fundings

The Moscova project is partially supported by ANR-06-SETIN-010, and by the Equipes Associées MM.

Coordinates

We are in building 8 of INRIA Rocquencourt (directions), which is just beyond the edge of Paris.

Email addresses are given on the personal pages references above and are all of the form First.Last@inria.fr. Our secretary, Sylvie Loubressac, can be reached by phone on +33 (0)1 39 63 57 19.

Post:	INRIA Bat 8
	Domaine de Voluceau
	BP 105
	78153 Le Chesnay Cedex
	France

Tel (sec): +33 1 39 63 57 19
Fax:       +33 1 39 63 54 69
Email:     First.Last@inria.fr

Valid XHTML 1.0!
Valid CSS!

Style: Default - Fallen Leaf - Simple Blue - Simple Purple - Clear

Last modified: 2010/12/04 - The Moscova project