A pesquisa está focada no desenvolvimento de estruturas matemáticas e formais para dedução e computação. Especificamente, arcabouços lógicos como os sistemas de reescrita, o cálculo Lambda, as substituições explícitas, e os sistemas nominais são estudados e suas aplicações em computação e dedução investigadas.

Colaboradores do grupo includem coautores brasileiros e estrangeiros: César Muñoz, Maribel Fernández, Fairouz Kamareddine, Flávio L.C. de Moura, Daniel Ventura, entre outros.

Quem Somos

Daniele Nantes Sobrinho

Orientadora de mestrado
Aplicações de Estruturas Formais em Dedução Equacional e Modelos Computacionais.

Maurício Ayala Rincon

Orientador de mestrado e doutorado
Aplicações das Teorias de Reescrita, Tipos e Prova em Formalização e Dedução.