Directeur 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.


  • Regulation in transport systems

  • Complex crowdsourcing applications
  • Contributive Science


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.


  • Member of the CHSCT of INRIA (Health and Security Commission -- since 2019)
  • Elected member of the INRIA Rennes center comitee (since 2016).

Former Duties

  • From 2009 to 2020, I was co-organizer of the 68NQRT seminar at Inia Rennes-IRISA. For more information on the seminar or to give a talk, 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.