Telefones do PESC

Corpo Docente

Nome
Mário Roberto Folhadela Benevides
Categoria
Professores Plenos
Ingresso
Cargo
Professor Titular - Pesquisador CNPq 2
Foto
Biografia

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

 

Linha de Pesquisa
Inteligência Artificial
Telefone
+55-21-3938-8711
Fax
Localização
Sala H-322 Gab. B-10
Lattes

bak_categories

Categoria
Professores Plenos
Name
Full Teachers
Tipo da pessoa
Professor
Topo