Ir para o conteúdo
GovBR

Pessoas

Pessoas

Mário Roberto Folhadela Benevides
Ex Professoras e Ex Professores
Professor Titular Aposentado - 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
http://www.cos.ufrj.br/~mario/
Sala H-322 Gab. B-10
Topo
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.