PESC phones

Corpo Docente

Mário Roberto Folhadela Benevides
Full Professor - Researcher 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
JSN_TPLFW_GOTO_TOP