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