Short presentation

Laure Gonnord, is habilitated Professor at Grenoble INP, Esisar since september 2021. Laure Gonnord has many experiences in static analysis applied to compilation in general, and its application to High performance programming and embedded  systems. She is also interested in software engineering around compilers, and has a more recent focus in designing backend compilers for hardware security.

She belongs to the Programming Languages and Software Engineering french community, and is in the board of the GDR GPL https://gdr-gpl.cnrs.fr/, for which she is scientific director of its summer school EJCP https://gpl-ejcp.github.io/.

Rest of academic CV : http://laure.gonnord.org/pro/cv.html

Research activities

Keywords: safety, security, embedded systems, high performance programs, static analysis, abstract interpretation, compilation

Current Ph.D. supervision

• Sebastien Michelland, @ LCIS (started sept 2022) coadvised with Christophe Deleuze (G-INP, Esisar/LCIS)
• Thaïs Baudon, @LIP, Lyon (started wept 2021), coadvised with Gabriel Radanne (INRIA, LIP) https://perso.ens-lyon.fr/thais.baudon/

Full publication list

List is available here

Teaching activities

Keywords: architecture, compilation, programming langages, algorithmics, embedded systems, databases

Responsible of the following courses:  http://laure.gonnord.org/pro/teaching.html