Our team is composed by researchers, grad and undergrad and students.
Researchers
Collaborators
- Anamaria Martins Moreira (UFRJ, Brazil)
- Cláudia Nalon (UnB, Brazil)
- Edward Hermann Haeusler (PUC-Rio, Brazil)
- Gilles Dowek (INRIA, France)
- Jean-Baptiste Joinet (UJM, France)
- Narciso Martí-Oliet (UCM, Spain)
- Paulo Fernando Blauth Menezes (UFRGS, Brazil)
- Renata Pereira de Freitas (UFF, Brazil)
- Rodrigo Geraldo Ribeiro (UFOP, Brazil)
Grad students
Undergrad students
- Matheus Enes Santos Viana