Explore les défis dans la conception de systèmes avec des composants non fiables, en mettant l'accent sur la vérification, le contrôle et l'interaction dans des systèmes peu fiables.
Introduit un algorithme amélioré pour les jeux de parité à trois couleurs, en mettant l'accent sur les mesures de progrès, l'accélération et la rapidité pratique.
Explore les méthodes dynamiques de connectivité fonctionnelle dans l'IRMf, en mettant l'accent sur l'identification de plusieurs états cérébraux et leurs applications dans la compréhension des troubles cérébraux.
