Ses travaux ont établi des bases pour les programmes répartis (fonctionnant sur plusieurs machines). Les horloges logiques en sont un exemple, mais il est aussi connu pour Paxos, sa solution au problème du consensus byzantin, une base essentielle au fonctionnement des bases de données réparties. Il a aussi relancé le domaine de l'autostabilisation à une époque où sa vivacité était devenue plus que douteuse.
Son recrutement par Microsoft Research n'a rien d'ironique, c'est un centre de recherche dont les employés ne sont pas en lien direct avec le développement de Windows ou d'autres produits MS. J'ai assisté à une présentation de son travail, il était clair sur ce point.
# un grand contributeur à l'algorithmique répartie
Posté par ɹǝıʌıʃO . En réponse au journal Et le prix Turing revient à .... Évalué à 9.
Ses travaux ont établi des bases pour les programmes répartis (fonctionnant sur plusieurs machines). Les horloges logiques en sont un exemple, mais il est aussi connu pour Paxos, sa solution au problème du consensus byzantin, une base essentielle au fonctionnement des bases de données réparties. Il a aussi relancé le domaine de l'autostabilisation à une époque où sa vivacité était devenue plus que douteuse.
Son recrutement par Microsoft Research n'a rien d'ironique, c'est un centre de recherche dont les employés ne sont pas en lien direct avec le développement de Windows ou d'autres produits MS. J'ai assisté à une présentation de son travail, il était clair sur ce point.