Membros
Pesquisador
Daniel Lima Ventura
Professor Associado
Teoria de Tipos, Tipos de Intersecção, Cálculo Lambda e Substituições Explícitas, Métodos Formais em Computação
Thaynara Arielly de Lima
Professor Adjunto
Rearranjo de Genomas, Ordenação por Reversões, Métricas sobre o Grupo Simétrico, Métodos Formais
Pesquisador Externo
Daniele Nantes
Professor Adjunto
Métodos Formais, Lógica Formal e Computacional, Teoria da Reescrita e Aplicações, Formalizaçao e Análise de Seguranca de Protocolos Criptográficos
Flávio L. C. de Moura
Professor Adjunto
Cálculo Lambda, Teoria de Prova, Teoria de Tipos, Unificação de Ordem Superior
Mauricio Ayala Rincón
Professor Titular
Propriedades e aplicações de sistemas de reescrita de termos e suas extensões
Doutorado
Mestrado
Fabrício Sanches Paranhos
Métodos Formais em Computação, Cálculo Lambda, Cálculo de Processos
Graduação
André de Freitas
Métodos Formais em Matemática, Álgebra Abstrata