People
Pessoas
Mário Roberto Folhadela Benevides
Former Faculty
Full Professor - Researcher 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
Artificial Intelligence
+55-21-3938-8711
This email address is being protected from spambots. You need JavaScript enabled to view it.
Sala H-322 Gab. B-10
