Telefones do PESC
Corpo Docente
Mário Roberto Folhadela Benevides
Professores Convidados
1991
Professor Titular - Pesquisador CNPq 2
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
bak_categories
Professores Convidados
Invited Faculty
Professor