Nils Gesbert

Me in Ardaneaskan in front of Loch Carron

Maître de conférences à l’Ensimag

Membre de l’équipe de recherche Tyrex,
laboratoire d’informatique de Grenoble / INRIA Rhône-Alpes

Bureau B213, INRIA,
655 avenue de l’Europe,
Montbonnot-Saint-Martin,
38334 Saint-Ismier CEDEX,
France

nils.gesbert(à)grenoble-inp.fr

Thèmes de recherche

Mes thèmes de recherche portent principalement sur l’analyse statique de programmes ou de requêtes, à l’aide de logique formelle ou de systèmes de types, à des fins de vérification, d’optimisation, de simplification ou d’aide à la programmation, en particulier par le biais de systèmes d’inférence permettant d’exploiter des informations sur la structure des données pour en déduire des informations sur le comportement ou le résultat des programmes.

Enseignement

J’enseigne à l’Ensimag dans différentes matières. Les supports de cours à jour sont tous sur Chamilo. Vous trouverez ici une copie des supports que j’ai réalisés :
  • pour mon cours de logique en alternance première année ;
  • pour l’ancien cours de Web en 2e année ISI (jusqu’en 2020) ;
  • pour le cours de λ-calcul dans l’UE « Fundamental Computer Science » du master MOSIG.

Publications

Liste de mes publications classées : par date, par type.