Telefones do PESC

Corpo Docente

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

bak_categories

Professores Plenos
Full Teachers
Professor
Topo