Domaines de Recherche

Algorithmique distribuée et tolérance aux pannes

Principaux sujets d'intérêt:

•Temps logique dans les systèmes distribués

•Problèmes d'accord (Consensus, Validation atomique, Diffusion atomique, Group Membership,...)

•Etude des spécifications formelles de problèmes dans les systèmes distribués - Spécifications uniformes

•Algorithmique des systèmes synchrones, bornes inférieures

•Notion de réduction dans le calcul distribué. Comparaison des deux problèmes d'accord que sont le "Consensus" et la "Validation Atomique".

•Processeurs asynchrones : circuits DI, arbitres

Photos

Quelques photos

Un super logiciel de dessin

DrawBerry

Colloquium à l´Ecole polytechnique

Le Centre de Mathématiques (CMLS), le Centre de Mathématiques Appliquées (CMAP) et le LIX organisent un Colloquium commun aux trois laboratoires. Les séances ont lieu le premier mardi de chaque mois, à 11 heures.