GONNORD Laure
Professeure des Universités, Grenoble INP
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Enseignement
Durant l'année scolaire 2021-22, j'enseigne à l'Ésisar:
- Compilation de programmes
- Algorithmique et Programmation (C, Java, Haskell)
- Applications Synchrones
- Bases de Données
et au M2 IF de l'ENS de Lyon :
- Static Analyses for Compilers (avec Y. Zakowski & Christophe Alias)
Recherche
Je réalise des analyses et des optimisations de programme, via des techniques statiques (compilation). Mes domaines d'application sont la vérification de programmes, la compilation optimisante, et la sécurité des systèmes embarqués.
Tâches collectives
Responsable du Département Informatique de l'Ésisar
Membre du Bureau du GDR GPL, coordinatrice scientifique de l'EJCP.
Activités / CV
Mon CV peut être trouvé sur ma page web, à cette adresse.
Informations complémentaires Je suis aussi membre extérieure du LIP à Lyon.
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
mise à jour le 23 novembre 2021