De ma thèse à mes post-doc, j'ai travaillé sur la cohérence des données répliqués.
C'est-à-dire : Comment faire lorsqu'on a une copie d'un document par personne et que chacun envoie uniquement les modifications, pour arriver à ce que toutes les copies soient identiques à terme. Dans notre modèle il n'y a pas d'ordre total sur la réception des messages, comme c'est le cas sur internet sans serveur central.
A l'issue de mes travaux j'ai proposé un algorithme de base que j'ai démontré convergeant, permettant à l'aide d'un ordre partiel d'assurer la convergence des documents. Dans mon manuscrit de thèse j'ai décliné cet algorithme sur plusieurs structures tel que les arbres, graphes et le texte. J'ai ensuite pendant mes post-doc ajouté le dessins vectoriel et résolu le problème de l'opération de déplacement de branche créant des cycles. Avec Luc André nous avons adapté l'algorithme de Stéphane Weiss et le mien pour les grands fichiers textes en optimisant la complexité moyenne en temps et mémoire.