Name:Laure Gonnord

Bio:

Laure Gonnord received her PhD degree in computer science from the University Joseph Fourier (Grenoble, France), in 2007. She currently holds an assistant professor position at University Lyon I/UCBL, France. She got her Habilitation in 2017.

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 (scheduling) and termination proofs. She belongs to the CASH team of the LIP laboratory (ENS de Lyon, France).

Country:France

Affiliation:University of Lyon & LIP, France

Research interests:Static analyses, Compilation