Département d'informatique, Université de Toronto
Complexité spatiale des tâches incolores
Leqi Zhu est supervisé par Faith Ellen au département d'informatique de l'université de Toronto.
Cette thèse comprend certains des résultats de recherche les plus significatifs de la dernière décennie dans le domaine de l'informatique distribuée. Le modèle de mémoire partagée asynchrone qui est considéré dans la thèse est le modèle standard utilisé pour concevoir et analyser des algorithmes qui exploitent la puissance parallèle de plusieurs processeurs. Aujourd'hui, de tels systèmes sont omniprésents ; le modèle de mémoire partagée est pertinent pour presque tous les systèmes informatiques modernes, allant des ordinateurs de bureau multicœurs aux grappes de haute performance.
Il s'agit peut-être de la thèse la plus importante dans le domaine de l'informatique distribuée depuis celle de Jim Aspnes il y a environ 27 ans. Elle contient plusieurs limites inférieures à des problèmes ouverts de longue date dans l'informatique distribuée et introduit plusieurs nouvelles techniques de preuve qui auront certainement un effet continu sur le domaine.