I am a CNRS senior researcher, in the laboratory of Computer Science at the École polytechnique.

My research focuses on distributed computing (computability and complexity), formal modelling and verification of distributed algorithms, multi-agent networked systems, natural algorithms and influence systems.



Je suis Directrice de Recherche CNRS au laboratoire d’informatique de l’École polytechnique.

Mes principaux sujets de recherche sont le calcul distribué (calculabilité et complexité), la modélisation et la vérification formelle d’algorithmes distribués, les réseaux multi-agents dynamiques, les algorithmes naturels et systèmes d’influence.


Education

Un lien sur un entretien avec E. Todd : La crétinisation des mieux éduqués est extraordinaire

Bitcoin

Journée sur les blockchains et Bitcoin à l’X aujourd’hui autour de l’exposé de Thibaut Lajoie-Mazenc (travail réalisé au cours du stage de 3ème année effectué à l’IRISA dans l’équipe de Michel Hurfin).

L’exposé était très intéressant et clair. Sa présentation est disponible ici.

Discussion animée autour du type d’accord nécessaire pour les blockchains : s’agit-il d’un consensus exact comme celui réalisé pour la diffusion atomique ou simplement d’un consensus asymptotique, sans décision irrévocable, comme pour la diffusion fiable ?