Pessoas

Mário Roberto Folhadela Benevides
Professores Plenos
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
Sala H-322 Gab. B-10
Topo