Bernadette Charron-Bost

 

Laboratoire LIX

Ecole Polytechnique

F-91128 PALAISEAU Cedex

FRANCE

E-mail: charron@lix.polytechnique.fr

Téléphone: (+33) 01 69 33 40 87

Fax: (+33) 01 69 33 30 14

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

Un super logiciel de dessin

DrawBerry

http://raphaelbost.free.fr/