Nils Gesbert

Me in Ardaneaskan in front of Loch Carron

Lecturer at Grenoble INP – Ensimag

Member of research team Tyrex,
laboratoire d’informatique de Grenoble / INRIA Rhône-Alpes

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


Research Interests

My research interests mainly revolve around static program or query analysis, using formal logic or type systems, notably for code checking or optimisation.


A list of my publications by type is available on this page, a list sorted by date on that page.


I teach several subjects at Ensimag. You can find here the material I made for some of my courses:
  • logic (in French);
  • Web (in French);
  • λ-calculus, a two-week course in the ‘Fundamental Computer Science’ class of the international MOSIG master (1st year).