Português English
Contato

Álvaro Freitas Moreira

Álvaro Freitas Moreira
+55 51 3308-9466
43413 (67)
220
Professor Associado

Qualificações

  • Doutorado em Ciência da Computação (University of Edinburgh, Edinburgh, Escócia, 2000)
  • 1989-1992 Mestrado em Computação
  • 1994-1999 Doutorado em Ciência da Computação
  • 2013-2014 Pós-doutorado em New York University

Áreas de Interesse

  • Lógica e Semântica de programas
  • Inteligência Artificial
  • Lógica para Sistemas Multiagentes
  • Análise Estática de Programas
  • Semântica para Linguagens de Bancos de Dados
  • Análise Estática de Programas Distribuídos
  • Lógicas para Inteligência Artificial
  • Especificação e Verificação de Sistemas Multiagentes