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. She currently holds an assistant professor position at University Lyon I/UCBL, France. Her main research interests lie in the design of static analyses, with emphasis on the automatic synthesis of numerical invariants and application in compilation (scheduling) and termination proofs. She belongs to the ROMA team of the LIP laboratory (ENS Lyon).
Affiliation: University of Lyon & LIP, France
Personal website: http://laure.gonnord.org/pro
Research interests: Static analyses, Compilation
POPL 2018 Activities