Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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. 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).

Country: France

Affiliation: University of Lyon & LIP, France

Personal website: http://laure.gonnord.org/pro

Research interests: Static analyses, Compilation

Contributions

VMCAI 2019Author of Static Analysis of Binary Code with Memory Indirections Using Polyhedra within the VMCAI 2019-track
Show activities from other conferences

Using general profile