Pessoas
Pessoas
Mário Roberto Folhadela Benevides
Ex Professoras e Ex Professores
Professor Titular - Pesquisador CNPq 2
1991
Ph.D., 1991, Imperial College
Áreas de Interesse
- Especificação de Sistemas Distribuídos e Concorrência
- Lógicas Modais: Lógicas Dinâmicas, Lógicas Modais para Processos e Lógicas Epistêmicas
- Aspectos Algébricos de Lógicas Modais
Inteligência Artificial
+55-21-3938-8711
Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
Sala H-322 Gab. B-10
