Contato
Links úteis
Ciência da Computação
Engenharia de Computação
Contato
Localização
Webmail
☰
Institucional
►
Apresentação
►
História
►
Ex-Diretores
►
Prêmios
►
Prêmio Alumni
►
Localização
►
Identidade Visual
►
Vídeos
►
Regimento
►
Graduação
►
Apresentação
►
Ingresso
►
Informações básicas aos alunos
►
Intercâmbio
►
Ciência da Computação
►
Engenharia de Computação
►
Perguntas Frequentes
►
Pós-Graduação
►
Apresentação
►
PPGC
►
PGMICRO
►
PPGIE
►
Especializações
►
Pesquisa
►
Grupos de Pesquisa
►
Comissão de Pesquisa
►
Extensão
►
Cursos de Extensão
►
Cursos de Especialização
►
Projetos de Extensão
►
Inscrições Abertas
►
Série de seminários do INF
►
Estrutura
►
Direção
►
NAU
►
Conselho
►
Comissões
►
Departamentos
►
Pós-Graduação
►
CEI INCUBADORA
►
DACOMP
►
PET Computação
►
Empresa Júnior IDE
►
Pessoas
►
Corpo docente
►
Técnicos Administrativos
►
Alumni (ex-alunos)
►
Mantenha a Conexão
►
Publicações
►
Livros didáticos
►
RITA
►
Coop. Internacional
►
Introdução
►
Protocolos e Intercâmbios Ativos
►
Voltar para lista de docentes
Álvaro Freitas Moreira
Professor Titular
Página Pessoal →
CV LATTES →
E-mail:
*protected email*
Telefone:
+55 51 3308-9466
Prédio:
43413
Sala:
220
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
Análise Estática de Programas
Semântica para Linguagens de Bancos de Dados
Lógica e Semântica de Programas
Inteligência Artificial
Análise Estática de Programas Distribuídos
Lógicas para Inteligência Artificial
Especificação e Verificação de Sistemas Multiagentes