Page d’accueil de l’équipe MoVe

L’équipe MOdélisation et VErification (MOVE) située au CMI et à Luminy est une équipe du Laboratoire d’Informatique Fondamentale de Marseille (UMR CNRS 7279).

Le concept de système distribué est fondamental tant pour les applications pratiques que pour les fondements théoriques de l’informatique. La conception d’applications correctes et sûres dans ce cadre est particulièrement difficile. La recherche de l’équipe MoVe est motivée par ce problème et l’objectif de l’équipe est de faire progresser les concepts fondamentaux dans ce domaine, mais également de développer des outils logiciels permettant de tester nos approches.

Les thématiques de recherche de l’équipe sont organisées suivant trois axes :

• Vérification
• Algorithmique distribuée
• Logique

Voir la page Thèmes de Recherche pour plus de détails.

L’équipe a la charge de l’option Fiabilité et Sécurité des Systèmes Informatiques du master informatique (voir formations).

Localisation

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

Comment nous trouver ?