DEVINE, INRIA Rennes
- Thierry Jéron (PI), Senior Researcher (DR), Inria.
Main competences: verification, timed systems, runtime verification and enforcerment, testing.
- Loïc Germerie-Guizouarn, Assistant Professor, University of Rennes, IUT of St Malo.
Main competences:
- Ocan Sankur, Researcher (CR), CNRS, (on leave 10/2024 - 09/2025).
Main competences:
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:
