Chargé de recherche

Habilité

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:

Research Domains

  • Modeling, semantics, validation and simulation of distributed systems
  • Formal methods, and Verification
  • True concurrency models (Petri nets, partial orders, scenarios). 

Current research activities:

  • Specification, simulation and implementation issues for Data centric workflows.
  • Robustness and verification of concurrent and timed specifications.

Teaching

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.

Duties

In January 2016, I was elected member of the INRIA Rennes center comitee.

I am 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.