Le LRDE est heureux d'accueillir un nouveau doctorant : Alexandre Hamez. Il commence une thèse intitulée « Model checking réparti » sous la direction de Fabrice Kordon (LIP6/MoVe) et des co-encadrants Akim Demaille (EPITA/LRDE) et Yann Thierry Mieg (LIP6/MoVe), après avoir obtenu un master Systèmes et Applications Distribués à l'université Pierre et Marie Curie (Paris VI). Le model checking est une technique de vérification formelle permettant de prouver que le comportement d'un système est correct. Cependant, elle est très souvent sujette à une utilisation prohibitive du temps de calcul, ceci à cause du problème dit de l'explosion de l'espace d'états. La répartition du model checking est apparue récemment comme solution possible à ce problème en utilisant les avantages d'un réseau de machines, augmentant de ce fait la taille mémoire et la puissance de calcul disponible. Le but de son travail est de répartir le processus de model checking, en se focalisant sur le cas particulier des clusters, lesquels offrent un environnement dédié au calcul réparti. Il a aussi comme objectif de fournir un framework facilitant la répartition de model checkers existants. De plus il souhaite y intégrer des techniques de réduction d'espace d'états, tels que les diagrammes de décision. Alexandre Hamez suit ainsi d'une année Alban Linard, avec un parcours tout à fait similaire, et montre les bonnes relations qui lient le LRDE et l'équipe MoVe du LIP6. -- LIP6 Laboratoire d'Informatique de Paris 6 http://www.lip6.fr/fr/index.html LRDE Laboratoire de Recherche et Développement de l'EPITA http://www.lrde.epita.fr MoVe Modélisation et Vérification http://www.lip6.fr/en/recherche/team.php?id=720 UPMC Université Pierre et Marie Curie (Paris VI) http://www.upmc.fr/FR/info/00