Laure Gonnord a intégré l’équipe CTSYS du laboratoire LCIS. 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 [...]