ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Laure Gonnord

Registered user since Fri 20 Feb 2015

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

Contributions

Show activities from other conferences

ICFP 2023-profile
View general profile