Arrivée de Laure Gonnord - Équipe CTSYS

Depuis quelques semaines, Laure Gonnord a rejoint l'équipe CTSYS au laboratoire.

Après avoir soutenu sa thèse sur la vérification formelle des programmes à Grenoble (Vérimag, Université Joseph Fourier) et passé deux ans à Lyon, Laure a débuté sa carrière en tant que maître de conférences au LIFL de Lille, où elle a diversifié ses axes de recherche en collaboration avec des experts en génie logiciel et des spécialistes des langages. Elle a ensuite obtenu un poste à l'Université de Lyon 1 ; au sein du laboratoire LIP, elle a participé à la refonte du thème de la compilation, notamment à la création d'une équipe commune Inria en 2018. Elle s'implique également dans la communauté francophone du logiciel à travers sa participation au comité de direction du GDR GPL (Programmation et génie logiciel) et en tant que directrice de l'École des jeunes chercheurs.

Le projet mené avec le LCIS et l'équipe CTSYS en particulier vise à orienter ses thèmes de recherche en matière de compilation vers une meilleure prise en compte des caractéristiques matérielles, afin de garantir une sécurité accrue lors de l'exécution des programmes compilés. L'environnement CTSYS/LCIS constitue un cadre idéal pour mener à bien ce projet, grâce à sa notoriété dans le domaine de la sécurité matérielle.

Laure GONNORD – laure.gonnordlcis.grenoble-inp.fr (laure[point]gonnord[arobase]lcis[point]grenoble-inp[point]fr)