Bienvenue à bord ! : Rencontrez Martin Vassor, nouvelle recrue de l’équipe Mosel-Veridis

29 janvier 2025
Martin Vassor est spécialiste en méthodes formelles et nouveau maître de conférences à l’Université de Lorraine depuis septembre 2024. Il mène ses recherches au sein de l’équipe Mosel-Veridis du Loria et enseigne à l’École des Mines de Nancy.
Durant ses études, il a travaillé sur des problèmes liés à la réversibilité sur du calcul concurrent, la configuration des systèmes concurrents et les types session. Actuellement, il s’intéresse aux problèmes de réversibilité où des types sessions pourraient servir à éviter certains bugs, comme les deadlocks.
Originaire de Haute-Savoie, sa carrière est notamment marquée par ses passages par l’EPFL (Ecole polytechnique fédérale de Lausane), l’ENS à Paris, le centre Inria de Grenoble, l’Imperial College à Londres et l’Université d’Oxford. Après 3 ans de postdoctorat en Angleterre il revient en France pour s’installer à Nancy.
“Bienvenue à bord !” est une série audio créée par le Service communication du Loria.