Jean-Bernard Stefani


I am a Senior Researcher at INRIA (actually, an Ingénieur Général des Mines, seconded to INRIA since 2001).

From July 2015 to July 2021, I was the Head of Science (Délégué Scientifique)  of the INRIA Grenoble-Rhône-Alpes research center.

I have been  the head of the SPADES research team at INRIA Grenoble-Rhône-Alpes from January 2013 to June 2015.

I have been the head of the SARDES research team at INRIA Grenoble-Rhône-Alpes from 2001 to 2012.

In a previous life, I worked at CNET (Centre National d’Etudes des Télécommunications) and France Telecom R&D.

My current research interests include: concurrency theory and process calculi, formal methods, component-based software engineering, reactive and distributed programming languages.

I am a past chair of IFIP Working Group 6.1.

Most of my publications are listed here.

Contact information:

  • address: INRIA Grenoble-Rhône-Alpes, 655 Avenue de l’Europe – Montbonnot, 38334 St Ismier CEDEX, FRANCE
  • tel: +33 4 76 61 52 57
  • email: jean-bernard dot stefani at inria dot fr

Comments are closed.