====== Áreas de Interesse ======

  * Teoria de Programação
  * Lógicas Modais
  * Inteligênicia Artificial
  * Especificações de Sistemas Distribuídos