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,
Montbonnot-Saint-Martin,
38334 Saint-Ismier CEDEX,
France

nils.gesbert(à)grenoble-inp.fr

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.

Publications

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

Teaching

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).
Valid XHTML 1.0!