Bertrand Jeannet - Home Page

General Information

Position

I am Chargé de recherche at INRIA (Institut de Recherche en Informatique et Automatique).

I am member of the POP ART of INRIA Rhône-Alpes, located in Grenoble.

Address

Institute: INRIA Rhône-Alpes
Address: Zirst - 655 avenue de l'Europe - Montbonnot
F-38334 Saint Ismier Cedex
France
Phone: +33 (0)4 76 61 52 76
FAX: +33 (0)4 76 61 52 52
Office: D108

Research interests

Software and libraries

Programming is part of my activity.

I maintain several libraries:

I also developped some verification tools:

I also developped two online interprocedural analyzers:

Here a few case studies can be found.

Publications

Recent publications

Academic background