DEVINE, INRIA Rennes

  • Thierry Jéron (PI), Senior Researcher (DR), Inria.

    Main competences: verification, timed automata, runtime verification and enforcerment, testing.


  • Loïc Germerie-Guizouarn, Assistant Professor, University of Rennes, IUT of St Malo.

    Main competences: verification of communicating systems, transducers.


  • Ocan Sankur, Researcher (CR), CNRS, (on leave 10/2024 - 09/2025).

    Main competences: formal verification, model checking, planning and controller synthesis, game theory, real-time systems, Markov decision processes.


  • Sayan Mukherjee, Post-doc, CNRS.

    Main competences: verification of real-time systems, of probabilitic systems, automata learning


IIT Bhubaneswar, India :

  • Srinivas Pinisetty (PI), Assistant Professor at Department of Computer Science and Engineering, IIT Bhubaneswar.

    Main competences: verification, runtime verification and enforcement.


  • Ayush Anand, Ph.D Student, IIT Bhubaneswar/

    Main competences:


  • Saumya Shankar, Ph.D Student, IIT Bhubaneswar, Defended in August 2024, now post-doc at University Auckland, NZ

    Main competences:



A part of the SINCRET team, June 2025
Loïc Germerie-Guizouarn, Sayan Mukherjee, Thierry Jéron, Srinivas Pinisetty



PIs of the SINCRET associate team, June 2025
Thierry Jéron, Srinivas Pinisetty