Chargé de recherche


INRIA  Rennes
Campus de Beaulieu,
35042 Rennes
Cedex, France
Tel : +33 2 99 84 75 90
Fax : +33 2 99 84 71 71

Email : loic <point> helouet <at> inria <point> fr   

Research interests

  • Distributed systems : Modeling, semantics, verification
  • True concurrency models (Petri nets, partial orders, scenarios). 

  • Robustness of concurrent and timed specifications.
  • formal methods for Data centric workflows.


I give the following courses:

  • Algorithmic courses for students preparing aggregation at ENS Rennes.
  • Algorithmic courses and JAVA programming for 1st/2nd year students at INSA de Rennes.
  • mini-project supervision for 3rd year students at INSA de Rennes.


  • Elected member of the INRIA Rennes center comitee (since 2016).
  • co-organizer of the 68NQRT seminar at IRISA. For more information on the seminar or to give a talk at irisa, please follow this link.

  • From 2013 to 2015, I was Referent Chercheur for the INRIA Rennes center. If you are wondering what a "Referent Chercheur" is, you can follow this link. The Referents for INRIA Rennes are now Thierry Jeron and Jocelyne Erhel.