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

I am currently interested in Web services and in applying type theory to that area, in particular to verify statically using type systems that programmes conform to given communication protocols. This includes studying type systems for process calculi, as well as integrating those systems to more usual programming languages.

keywords: session types, behavioural types, process calculi, web services, programming languages


I published on two main different topics: first geographical databases, their specifications and their integration until 2006 (on that subject the main document is my PhD Thesis, but in English you can read Formalisation of geographical database specifications), and second Web services, process calculi and type theory. Thus sorting by date corresponds to a sorting by topic.

A list of my publications by type is available on this page.


I presented a work on Modular Session Types for Distributed Object-Oriented Programming at POPL, in Madrid, in January 2010 [slides]. I had previously presented the same work to a more general audience, and in more time, at Glasgow in October 2009 [slides], and presented it again at IRISA’s 68NQRT seminar in Rennes in April 2010 [slides, in French].

In 2007 and 2008, I presented a work on A Theory of Contracts for Web Services in several places including POPL’08, San Francisco [slides] and the ‘grand colloque STIC’ 2007 in Paris [slides, in French].