SUMO, INRIA Rennes

  • Loc Hlout (CR1 INRIA, senior researcher)

    Main competences: timed systems, concurrency models, verification.


  • Nathalie Bertrand (DR INRIA, senior researcher)

    Main competences: quantitative models, quantitative verification.


  • Blaise Genest (DR CNRS)

    Main competences: control of systems, stochastic systems, quantitative verification.


  • Hugo Bazille, SUMO Team, PhD Student (2016-2019),

    Topic: Efficient verification of stochastic models.
  • Victor Roussanaly, SUMO Team, PhD Student (2017 - 2020),

    Topic: Efficient verification of timed models.