Principal Investigators
Sophie Tourret
researcher at VeriDis, Inria centre at Lorraine University, Nancy, France
Haniel Barbosa
assistant professor, Federal Univ. of Minas Gerais (UFMG), Belo Horizonte, Brasil
Other participants
At Inria centre of Lorraine University :
- Stephan Merz, research director,
- Alessio Coltellacci, PhD student
- Vincent Trélat, PhD student
At univ. of Minas Gerais :
- Bruno Andreotti, master student
- Augusto Mafra, master student
At Inria Saclay centre :
- Gilles Dowek, research director
- Frédéric Blanqui, research director
- Guillaume Burel, associate professor ENSIIE
- Ciarán Dunne, postdoctoral researcher
