Depuis quelques semaines déjà, Laure Gonnord a intégré l’équipe CTSYS du labo.

Après une thèse à Grenoble (Vérimag, Université Joseph Fourier) en vérification formelle de programmes, et deux ans à Lyon, Laure a ensuite commencé sa carrière d’enseignante chercheuse à Lille au LIFL, où elle a diversifié ses thématiques de recherche en collaboration avec des spécialistes en génie logiciel, et d’autres en langages. Elle a ensuite obtenu un poste à l’Université Lyon1 ; au laboratoire LIP elle a participé au renouvellement de la thématique de compilation avec la création d’une équipe Inria conjointe en 2018. Elle est aussi impliquée dans la communauté francophone du logiciel via sa participation au bureau du GDR GPL (Génie de la Programmation et du Logicielle), et comme directrice de l’école Jeunes Chercheur·se·s associée.

Le projet avec le LCIS, et l’équipe CTSYS en particulier, est d’orienter ses thématiques de recherche en compilation pour une meilleure prise en compte des caractéristiques matérielles afin de garantir plus de sécurité lors de l’exécution des programmes compilés. L’environnement CTSYS/LCIS est un endroit idéal pour réaliser ce projet, grâce à sa visibilité sur les thématiques de sécurité matérielle.

Laure GONNORD – laure.gonnord@lcis.grenoble-inp.fr