![Laure Gonnord](https://icfp24.sigplan.org/getProfileImage/lauregonnord/6b741986-7933-4cba-9205-8e5e8451d8fa/small.jpg?1719579544000)
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
Personal website: http://laure.gonnord.org/pro
X (Twitter): https://x.com/l_gonnord
Research interests:Static analyses, Compilation, Safety, Security
Contributions
Using general profile