Contato
Links úteis
Ciência da Computação
Engenharia de Computação
Telefones Internos
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
Protocolos e Intercâmbios Ativos
Voltar para lista de docentes
Álvaro Freitas Moreira
E-mail:
*protected email*
Telefone:
+55 51 3308-9466
Prédio:
43413
Sala:
220
Página Pessoal:
http://www.inf.ufrgs.br/~afmoreira
Lattes:
http://lattes.cnpq.br/3762855185207010
Posição:
Professor Titular
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