Name:Laure Gonnord

Bio:

Laure Gonnord received her PhD degree in computer science from the University Joseph Fourier (Grenoble, France), in 2007 and her Habilitation in 2017 in Lyon, France. She currently holds a full permanent professor position at Grenoble INP, Esisar, Valence.

Her main research interests lie in the design of static analyses, with emphasis on the automatic synthesis of numerical and memory invariants and application in compilation, safety and security. She belongs to the CTSys team of the LCIS Laboratory (Esisar, Valence, France) and is external member of the CASH team of the LIP laboratory (ENS de Lyon, France).

Country:France

Affiliation:Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France

Research interests:Static analyses, Compilation, Safety, Security