Recherche : Dernières actus du LRDE à l'Epita
Plusieurs publications scientifiques récentes ont été réalisées par le Laboratoire de Recherche et Développement de l'Epita (LRDE), dont certaines ont été primées. Pour en savoir plus sur ces dernières actualités du laboratoire, Thierry Géraud et Didier Verna, enseignants chercheurs au LRDE, répondent à nos questions :Quelle est la fonction du LRDE ?
Nouveau doctorant au LRDE !
« Model checking réparti ». C'est ainsi qu'est baptisée la thèse d'Alexandre Hamez, sous l'encadrement d'Akim Demaille du LRDE. Diplômé d'un master Systèmes et Applications Distribués de l'université Pierre et Marie Curie (Paris VI), le nouveau doctorant débute sa thèse au sujet d'une « technique de vérification formelle permettant de prouver que le comportement d'un système est correct ».
Didier et Thierry : Le LRDE est un laboratoire de recherche qui a été créé en 1998 afin de proposer aux étudiants une approche de ce domaine en côtoyant des enseignants-chercheurs en activité, et une implication dans des projets de recherche, notamment grâce à l'option de spécialisation CSI dans leur cursus à l'Epita. Ainsi, certains étudiants auront la possibilité de choisir une formation de troisième cycle. Enfin, un des objectifs du LRDE est aussi de mettre en avant la recherche à l'Epita dans les milieux scientifiques. Le LRDE, aujourd'hui dirigé par Akim Demaille, est composé de huit enseignants-chercheurs permanents, et de quelques dizaines d'étudiants qui collaborent avec les chercheurs.
