Aller au menu Aller au contenu
Thèmes de recherche
Thèmes de recherche
Thèmes de recherche

> Equipes > CTSYS

GONNORD Laure

Professeure des Universités, Grenoble INP

Coordonnées

Grenoble INP - LCIS 50 rue B. de Laffemas CS10054 26902 VALENCE Cedex 9 FRANCE

  • Tél. : 04 75 75 94 12

  • Bureau 1 : A210

Site internet : http://laure.gonnord.org/pro

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

LCIS
50, rue Barthélémy de Laffemas
BP54 26902 VALENCE Cedex 09 France
Tél : +33 (0)4 75 75 94 49
Université Grenoble Alpes