F R ∀ M ∃

Our team is composed by researchers, grad and undergrad and students.

Researchers

• Aline Paes
• Bruno Lopes
• Mario Benevides

Collaborators

• Cláudia Nalon (UnB, Brazil)
• Edward Hermann Haeusler (PUC-Rio, Brazil)
• Gilles Dowek (INRIA, France)
• Jean-Baptiste Joinet (UJM, France)
• Luis Barbosa (UMINHO, Portugal)
• Valeria de Paiva (Topos Institute, USA)