MoVe home page

The MOdelling and VErification (MOVE) team at CMI and at Luminy is composed of members of Laboratoire d’Informatique Fondamentale de Marseille (UMR CNRS 6166).

The concept of distributed system is fundamental both for practical applications and theoretical foundations of computer science. The conception of applications safe and sound in this context is especially hard. The research of MoVe team is focused on this problem and our objective is to contribute on fundamental concepts in this area, and also to develop tools to validate our results.

Our reserah topics are gathered according to three main axes:

• Verification
• Distributed algorithmic
• Logic

See the page Research Topics for more details.

The team is involved in teaching in master of Computer Science (see teaching).

Location

Address:
Université de Provence
Centre de Mathématiques et Informatique,
39 rue Joliot-Curie,
F-13453 Marseille Cedex 13,
FRANCE
Tel: +33 (0)4 91 11 36 00 (Secretariat)
Fax: +33 (0)4 91 11 36 02

How to find us ?