Equipe de recherche COMETE

Concurrence, Mobilité et Transactions

Présentation de l'équipe

La recherche entreprise par l'équipe-projet COMETE se concentre sur les fondations théoriques des langages concurrents et distribués. Le projet suit deux principales directions: l'étude, l'implantation et les applications du pi-calcul probabiliste, une variante du pi-calcul asynchrone, et l'utilisation de langages fonctionnels de haut niveau pour le développement d'applications distribuées, en particulier dans le contexte des applications pair-à-pair.

Axes de recherche

  • Le pi-calcul asynchrone probabiliste, une variante du pi-calcul adéquate pour une implantation distribuée. Ici, l'objectif est d'explorer l'expressivité du calcul, et de l'utiliser pour la spécification et la vérification d'algorithmes et de systèmes distribués.
  • Les protocoles de sécurité. Le but de ce thème est de vérifier des protocoles quand le niveau désiré de sécurité et la qualité de l'encryption sont probabilistes, i.e. imparfaits.
  • L'algorithmique distribuée. Nous étudions les algorithmes de base qui apparaissent dans l'implantation des systèmes distribués, leur spécification et leur complexité.
  • Les systèmes pair-à-pair et la programmation fonctionnelle. Le but de ce thème est d'étudier les constructions du langage et les outils nécessaires pour construire des systèmes distribués, en particulier dans le contexte des systèmes pair-à-pair (de partage de fichiers).

Logiciels

Relations industrielles et internationales

  • Quelques membres du projet sont impliqués dans le projet Esprit PEPITO avec KTH, EPFL, SICS, UCL et l'université de Cambridge.
  • Nous sommes impliqués dans le développement en Objective-Caml d'un client multi-réseaux d'échange de fichiers, MLdonkey.

Mots-clés : Modèles et Languages pour le Calcul Concurrent et Distribué Sécurité Méthodes Formelles Implementation

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social