Rede de Colaboração
Diretório de grupos de pesquisa

Álvaro Freitas Moreira
Bolsista de Produtividade em Pesquisa do CNPq - Nível 2

Álvaro Freitas Moreira concluiu o doutorado em Ciência da Computação na Universidade de Edimburgo em 2000. É professor do Departamento de Informática Teórica do Instituto de Informática da Universidade Federal do Rio Grande do Sul (UFRGS). Atua na área de lógicas e semântica de programas com interesses em sistemas de tipos, semântica operacional, análise estática de programas, linguagens orientadas a agentes, orientação a objetos, verificação de modelos, teoria de banco de dados, e semântica de linguagens de consulta.
(Texto informado pelo autor)

Última atualização do currículo em 19/09/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/3762855185207010
Dados pessoais
NomeÁlvaro Freitas Moreira
Nome em citações bibliográficasMoreira, Á. F.; Moreira, A. F; Moreira, Á; Moreira, A; Álvaro Moreira; Alvaro Moreira; Álvaro Freitas Moreira; Alvaro Freitas Moreira
SexoMasculino
Endereço profissionalUniversidade Federal do Rio Grande do Sul, Instituto de Informática, Departamento de Informática Teórica.
Av. Bento Gonçalves, 9500, Campus do Vale - Bloco IV
Agronomia
91501-970 - Porto Alegre, RS - Brasil - Caixa-Postal: 15064
Telefone: (51) 33089466 Fax: (51) 33087308
URL da Homepage: http://www.inf.ufrgs.br/~afmoreira

Formação acadêmica/Titulação
1994 - 1999Doutorado em Ciência da Computação .
University of Edinburgh, EDINBURGH, Escócia.
Título: Type-Based Locality Analysis for a Functional Distributed Language, Ano de Obtenção: 2000.
Orientador: Michael Fourman.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Sistemas de Tipos; Semântica de Linguagens de Programação; Análise Estática de Programas; Linguagens Funcionais; Concorrência.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Setores de atividade: Informática.
1989 - 1992Mestrado em Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware, Ano de Obtenção: 1992.
Orientador: Raul Fernando Weber.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Semântica de Linguagens de Programação; Lógica de Programas; Linguagens de Descrição de Hardware.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Setores de atividade: Informática.
1984 - 1988Graduação em Bacharelado em Ciência da Computação .
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Título: Proposta de um Núcleo Multiprocessado para a Arquitetura SUMUS.
Orientador: Celso Maciel da Costa.

Formação complementar
2001 - 2001III Curso de Qualidade (SBC).
Universidade de Fortaleza.
2000 - 2001 Extensão universitária em Seminário de Atualização Didático Pedagógico. (Carga horária: 60h).
Universidade de Caxias do Sul, UCS, Brasil.
1992 - 1992 Extensão universitária em A Dimensão Metodologia.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
1992 - 1992VIII Escola de Computação.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
1990 - 1990VII Escola de Computação.
Universidade de São Paulo.

Atuação profissional
Sociedade Brasileira de Computação, SBC, Brasil.
Vínculo institucional
2000 - 2005 Vínculo: Colaborador, Enquadramento Funcional: , Carga horária: 0
Atividades
5/2004 - 8/2005Direção e administração, .
Cargo ou função
Representante da SBC no Conselho Municipal de C&T de Porto Alegre.
5/2004 - 8/2005Conselhos, Comissões e Consultoria, .
Cargo ou função
Representante da SBC no Conselho Municipal de Ciência e Tecnologia da Prefeitura de Porto Alegre.
11/2003 - 8/2005Direção e administração, .
Cargo ou função
Secretário Regional da SBC - Regional RS.
8/2002 - 10/2003Direção e administração, .
Cargo ou função
Delegado Institucional da SBC na UFRGS.
10/2000 - 7/2002Direção e administração, .
Cargo ou função
Delegado Institucional da SBC na Universidade de Caxias do Sul.
5/2002 - 5/2002Conselhos, Comissões e Consultoria, .
Cargo ou função
Organizador da X ERI (Escola Regional de Informática) em Caxias do Sul.
Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional
2002 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado I, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações Professor do Instituto de Informática - Departamento de Informática Teórica.
Vínculo institucional
1993 - 1994 Vínculo: Outro, Enquadramento Funcional: Assistente de Pesquisa (RHAE-CNPQ), Carga horária: 40
Outras informações Grupo de Inteligência Artificial do Instituto de Informática da UFRGS. Pesquisa em Interpretações Computacionais da Lógica Linear Supervisão: prof. Dr. Antônio Carlos da Rocha Costa.
Vínculo institucional
1986 - 1988 Vínculo: Outro, Enquadramento Funcional: Auxiliar de Pesquisa - Iniciação Científica, Carga horária: 20
Outras informações Grupo de Sistemas Operacionais do CPGCC-UFRGS Orientador: prof. Dr. Celso Maciel da Costa.
Vínculo institucional
1985 - 1986 Vínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações Bolsista do Setor de Apoio à Pesquisa e Estatística do CPD da UFRGS
Atividades
1/2009 - AtualDireção e administração, Instituto de Informática, .
Cargo ou função
Coordenador do Programa de Pós-Graduação em Computação.
2008 - AtualAtividades de Participação em Projeto, Instituto de Informática, .
Projetos de pesquisa
Análise Estática de Linguagens de Consulta no Contexto de Integração de Dados
Uma Metodologia de Desenvolvimento de Sistemas Computacionais à Luz da Transição do Silício para Novas Tecnologias: Fundamentos e Aplicações
10/2006 - AtualAtividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
10/2005 - AtualAtividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
Projetos de pesquisa
Form-X
9/2003 - AtualEnsino, Computação, Nível: Pós-Graduação.
Disciplinas ministradas
Biologia Computacional (2006/2)
Sistemas de Tipos para Linguagens de Programação (2006/1)
Verificação Formal (2003/2)
1/2003 - AtualConselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Teórica.
Cargo ou função
Coordenador Substituto da Comissão de Graduação do Bacharela em Ciência da Computação.
10/2002 - AtualAtividades de Participação em Projeto, Instituto de Informática, Departamento de Informática Teórica.
Projetos de pesquisa
Agentes e Ontologias
8/2002 - AtualPesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.
Linhas de pesquisa
Lógica para Sistemas Multiagentes
Análise Estática de Programas
Semântica para Linguagens de Bancos de Dados
8/2002 - AtualEnsino, Bacharelado em Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Linguagens Formais (turmas A e B) -2002/2
Semântica Forma (turma U) - 2002/2
Semântica Formal (turma A) - 2005/1
Semântica Formal (turma A) - 2006/1
Semântica Formal (turma U) - 2003/2
Semântica Formal (turma U) - 2004/2
Semântica Formal (turma U) - 2005/2
Semântica Formal (turmas A e B) - 2003/1
Semântica Formal (turmas A e B) - 2004/1
Semântica Formal (turmas A e B) -2002/1
Tópicos em Sistemas de Tipos para Linguagens de Programação (2006/1)
Verificação Formal (turma U) - 2003/2
Semântica Formal (turma B) -2006/2
8/2002 - AtualConselhos, Comissões e Consultoria, Instituto de Informática, Departamento de Informática Teórica.
Cargo ou função
Membro do Plenário do Departamento de Informática Teórica.
8/2008 - 12/2008Direção e administração, Instituto de Informática, Departamento de Informática Teórica.
Cargo ou função
Chefe de Departamento de Informática Teórica.
01/2007 - 12/2008Direção e administração, Instituto de Informática, .
Cargo ou função
Coordenador substituto do Programa de Pós-Graduação em Computação.
01/2007 - 07/2008Direção e administração, Instituto de Informática, Departamento de Informática Teórica.
Cargo ou função
Chefe substituto do Departamento de Informática Teórica.
8/2005 - 12/2005Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.
Atividade de extensão realizada
Curso de Algoritmos.
3/2005 - 7/2005Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.
Atividade de extensão realizada
Curso de Algoritmos.
8/2004 - 12/2004Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.
Atividade de extensão realizada
Curso de Algoritmos.
5/2004 - 12/2004Conselhos, Comissões e Consultoria, Instituto de Informática, .
Cargo ou função
Membro da Comissão Permanente de Alocação de Espaço Físico do Instituto de Informática.
6/2003 - 6/2003Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.
Atividade de extensão realizada
Coordenador do WFAAC - Workshop de Fundamentos de Agentes Animados Cognitivo, Instituto de Informática.
3/1993 - 10/1994Pesquisa e desenvolvimento , Instituto de Informática, Departamento de Informática Teórica.
Linhas de pesquisa
Lógica e Semântica de Programas
Inteligência Artificial
7/1985 - 4/1986Estágios , Centro de Processamento de Dados, Núcleo de Apoio Ao Usuário.
Estágio realizado
Suporte a usuários, programação.
Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, Brasil.
Vínculo institucional
1990 - 1993 Vínculo: Celetista, Enquadramento Funcional: Professor Horista, Carga horária: 8
Atividades
3/1990 - 9/1993Ensino, Análise de Sistemas, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais (1990/1)
Sistemas Operacionais (1990/2)
Sistemas Operacionais (1991/1)
Sistemas Operacionais (1991/2)
Sistemas Operacionais (1992/1)
Sistemas Operacionais (1992/2)
Sistemas Operacionais (1993/1)
3/1990 - 9/1993Ensino, Informática, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais I (1990/1)
Sistemas Operacionais I (1990/2)
Sistemas Operacionais I (1991/1)
Sistemas Operacionais I (1992/1)
Sistemas Operacionais I (1992/2)
Sistemas Operacionais I (1993/1)
Universidade de Caxias do Sul, UCS, Brasil.
Vínculo institucional
1999 - 2002 Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 40
Vínculo institucional
1989 - 1990 Vínculo: Celetista, Enquadramento Funcional: Professor horista, Carga horária: 4
Atividades
1/2002 - 7/2002Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade de extensão realizada
Organizador da X Escola Regional de Informática da SBC - Regional Sul (Caxias do Sul).
3/2001 - 7/2002Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade realizada
Membro do projeto de pesquisa Representação.
3/2001 - 7/2002Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Cargo ou função
Membro de comissão temporária (para implantação do curso de Licenciatura em Computação).
10/2000 - 7/2002Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade realizada
Líder do Grupo de Pesquisa em Processamento Paralelo e Distribuído.
5/2000 - 7/2002Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade realizada
Coordenador do projeto de Pesquisa ANDI.
10/1999 - 7/2002Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Cargo ou função
Membro de colegiado superior (do curso de Bacharelado em Ciência da Computação).
8/1999 - 7/2002Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Linhas de pesquisa
Análise Estática de Programas Distribuídos
Lógica e Semântica de Programas
Lógicas para Inteligência Artificial
Especificação e Verificação de Sistemas Multiagentes
8/1999 - 6/2002Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Sistemas Operacionais II (1999/1)
Introdução a Programação Funcional (2000/1)
Teoria da Computação (2000/1)
Laboratório de Linguagens de Programação (2000/1)
Linguagens Formais (2000/1)
Lógica para Computação (2000/2)
Algoritmos (2000/2)
Programação de Computadores I (2000/2)
Lógica para Computação (2001/1)
Teoria da Computação (2001/1)
Lógica para Computação (2001/2)
Concorrência (2001/2)
Lógica para Computação (2002/1)
Teoria da Computação (2002/1)
5/2001 - 12/2001Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade de extensão realizada
Coordenador do Seminário de Pesquisa do DEIN.
11/2001 - 11/2001Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade de extensão realizada
Coordenador do Primeiro Seminário Estadual de Informática na Educação - Integração Universidade- Escola.
11/2001 - 11/2001Extensão universitária , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade de extensão realizada
Curso de Introdução a Internet para a Fundação de Assistência Social da Prefeitura de Caxias do Sul.
8/1999 - 2/2001Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Departamento de Informática.
Atividade realizada
Membro do projeto de pesquisa ILENA.
8/1999 - 12/1999Ensino, Tecnologo Em Processamento de Dados, Nível: Graduação.
Disciplinas ministradas
Programação de Computadores (1999/2)
8/1999 - 12/1999Ensino, Engenharia de Automação, Nível: Graduação.
Disciplinas ministradas
Engenharia de Automação
3/1989 - 12/1989Ensino, Bacharelado em Ciência da Computação, Nível: Graduação.
Disciplinas ministradas
Introdução à Programação (1989/1)
Sistemas Operacionais (1989/2)
Eletrônica Digital Sa, EDISA, Brasil.
Vínculo institucional
1988 - 1989 Vínculo: Celetista, Enquadramento Funcional: , Carga horária: 40
Atividades
12/1988 - 2/1989Serviços técnicos especializados .
Serviço realizado
Suporte ao sistema operacional UNIX.

Linhas de Pesquisa
1. Lógica e Semântica de Programas
2. Inteligência Artificial
3. Lógica para Sistemas Multiagentes
4. Análise Estática de Programas
5. Semântica para Linguagens de Bancos de Dados
6. Análise Estática de Programas Distribuídos
7. Lógica e Semântica de Programas
8. Lógicas para Inteligência Artificial
9. Especificação e Verificação de Sistemas Multiagentes

Projetos de Pesquisa
2008 - AtualAnálise Estática de Linguagens de Consulta no Contexto de Integração de Dados
Descrição: Este projeto tem como objetivo investigar o problema do query containment no contexto de integração dados. O problema pode ser resumido da seguinte forma: das duas consultas q1 e q2 efetuadas sobre uma representação global integradora de dados heterogêneos decidir se o resultado de q1 está contido no resultado de q2. Trata-se de um problema de interesse teórico e também prático relacionado com a otimização de consultas..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Álvaro Freitas Moreira - Coordenador.
.
2008 - AtualUma Metodologia de Desenvolvimento de Sistemas Computacionais à Luz da Transição do Silício para Novas Tecnologias: Fundamentos e Aplicações
Descrição: O projeto tem como objetivo principal o desenvolvimento de uma metodologia de projeto de sistemas computacionais à luz da transição do silício para novas tecnologias. Esta transição tecnológica levará a sociedade a profundas mudanças nas formas de trabalho, pesquisa e uso da computação. O projeto propõe estudos de caso de alta complexidade, com o objetivo de propor tanto uma abordagem evolutiva sobre a construção de sistemas computacionais, quanto uma abordagem disruptiva, tendo em vista novas tecnologias. O projeto é de caráter multi-disciplinar, uma vez que a transição tecnológica obrigará e levará à formação de equipes científicas com formações diversas dentro da computação, em suas aplicações e interfaces com outras ciências. Espera-se, ao final do projeto, que uma teoria e uma conseqüente metodologia de desenvolvimento de sistemas computacionais sejam propostas, elaboradas e validadas através de estudos de caso significativos. As abstrações, teorias, insights e a resultante metodologia são fundamentais em um mundo cada vez mais dependente de sistemas computacionais e, em particular, de sistemas de software capazes de evoluírem não somente com as necessidades da aplicação e de seus usuários finais, mas fundamentalmente tendo em vista a evolução/revolução tecnológica pós-silício. Entre os benefícios científicos desta metodologia estão os princípios norteadores de um processo de raciocínio, reflexão, elaboração, construção e implementação de novos sistemas computacionais, que certamente tem grande impacto na sociedade do conhecimento no século XXI. Foi um dos co-autores do projeto, coordenado pelo Prof. Flávio Rech Wagner..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Luciana Foss - Integrante / Leila Ribeiro - Integrante / Luís da Cunha Lamb - Integrante / Erika Cota - Integrante / Luigi Carro - Integrante / Flávio Rech Wagner - Coordenador / Lúcio Mauro Duarte - Integrante / Thales Heimfarth - Integrante / Carlos Eduardo Pereira - Integrante / Álvaro Freitas Moreira - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 3.
2005 - 2007Form-X
Descrição: A busca de uma mesma informação em fontes heterogêneas de dados XML possui o inconveniente de exigir que se conheça a estrutura de cada uma das fontes (o esquema) e que se formule, para cada fonte, uma consulta que seja bem formada de acordo com a sua estutura. Uma solução para esse problema requer [16] (i) uma representação global unificada para todas as fontes XML heterogênas, (ii) uma linguagem para formular consultas em conformidade com essa representação global, e (iii) um mecanismo de tradução de consultas nessa linguagem para consultas que sejam válidas de acordo com a estrutura de cada fonte e (iv) um mecanismo para integração de resultados de consultas em cada fonte em um único resultado que seja válido em relação ao esquema global. Satisfeitos esses quatro requisitos, basta que o projetista de consultas conheça o esquema global unificado e formule consultas na linguagem para consultas globais. Uma abordagem para o problema (i) acima, proposta em [14] e em [15], integra, em um modelo conceitual, esquemas DTD de fontes XML heterogêneas. A linguagem CXPath foi proposta em [14] como uma solução para o problema, ela apresenta uma sintaxe semelhante a de XPath, mas sua semântica é definida em relação a modelos conceituais; (ii) e o trabalho em [13] apresenta os primeiros passos na direção da definição formal dos critérios para validação de consultas CXPath em relação a modelos conceituais complexos com suporte a modelagem de herança e relacionamentos de associação. Um mecanismo de tradução de consultas CXPath para consultas XPath, de acordo com as diferentes fontes XML foi definido em [14]. Os objetivos principais desse projeto são investigar e propor soluções para os seguintes problemas em aberto: - integração de resultados de consultas em fontes heterogênas em um único resultado que seja válido de acordo com o modelo conceitual global e processo de otimização de consultas.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 2) Doutorado ( 1) .
Integrantes: Rodrigo Machado - Integrante / Renata Galante - Integrante / Leila Ribeiro - Integrante / Luís da Cunha Lamb - Integrante / Carlos Alberto Heuser - Integrante / Willian Bruno - Integrante / Claudio Naoto - Integrante / Álvaro Freitas Moreira - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
Número de produções C, T & A: 5 / Número de orientações: 2.
2002 - 2006Agentes e Ontologias
Descrição: Este projeto tem como objetivo a definição formal da semântica da linguagem orientada a agentes AgentSpeak e de suas extensões para suporte de multiplos agentes, para comunicação entre agentes baseada em atos de fala e para suporte ao raciocínio ontológico..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Rafael Heitor Bordini - Integrante / Renata Vieira - Integrante / Jomi Hübner - Integrante / Álvaro Freitas Moreira - Coordenador.
Financiador(es): Universidade do Vale do Rio dos Sinos - Cooperação / Fundação Universidade Regional de Blumenau - Cooperação / University of Durham - Cooperação.
Número de produções C, T & A: 8.

Revisor de periódico
2009 - Atual Periódico: Science of Computer Programming
2009 - 2009 Periódico: Journal of the Brazilian Computer Society
2005 - 2005 Periódico: Data & Knowledge Engineering
2007 - 2008 Periódico: Revista de Informática Teórica e Aplicada

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Inteligência Artificial.
5. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
6. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Espanhol Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Prêmios e títulos
2008Pesquisador Convidado, Dagstuhl Seminar 08361: Programming Multi-Agent Systems, Schloss Dagstuhl - Leibniz Center for Informatics (German: Leibniz-Zentrum für Informatik).
2008Pesquisador convidado: Franco-Brazilian Scientific Colloquium, Université Paris-Sud 11.
2006Segundo melhor artigo da Escola Regional de Banco de Dados - ERDB 2006 (Protótipo de Interpretador para cTVQL), Sociedade Brasileira de Computação.
2001Aprovado em primeiro lugar em concurso público para professor Adjunto (área: Estrutura de Dados), Departamento de Ciência da Computação da Universidade Federal da Bahia.
1989Aprovado em concurso público para professor Auxiliar (área: software básico), Departamento de Informática e Estatística da Universidade Federal de Santa Catarina.
1989Aprovado em concurso público para professor Auxiliar (área: Sistemas Operacionais), Departamento de Informática da Universidade Federal do Rio Grande do Sul.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. RUBO, F. B. ; MACHADO, Rodrigo ; MOREIRA, Á. F. ; NUNES, D. J. . On the Interaction of Advices and Raw Types in AspectJ. Journal of Universal Computer Science (Print), v. 10, p. 3534-3555, 2008.
2.   VIEIRA, Renata ; MOREIRA, Á. F. ; WOOLDRIDGE, Michael ; BORDINI, Rafael Heitor . On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language. Journal of Artificial Intelligence Research, v. 29, p. 221-267, 2007.
3.   MACHADO, Rodrigo ; Moreira, Á. F. ; GALANTE, Renata de Matos ; MORO, Mirella . Type-safe Versioned Object Query Language. Journal of Universal Computer Science (Print), v. 12, p. 938-957, 2006.
4.   GALANTE, Renata de Matos ; SANTOS, Clesio Saraiva dos ; EDELWEISS, Nina ; Moreira, Á. F. . Temporal and Versioning Model for Schema Evolution in Object-Oriented Databases. Data & Knowledge Engineering, Holanda, v. 53, n. 2, p. 99-128, 2005.
5. BORDINI, Rafael Heitor ; COSTA, Antônio Carlos da Rocha ; Moreira, Á. F. ; HUBNER, J. F. ; OKUYAMA, F. Y. ; VIEIRA, Renata . MAS-SOC: a Social Simulation Platform Based on Agent-Oriented Programming. JASSS (Guildford), Inglaterra, v. 8, n. 3, p. 7, 2005.
6.   BORDINI, Rafael Heitor ; Moreira, Á. F. . Provind BDI Properties of Agent Oriented Programming Languages. Annals of Mathematics and Artificial Intelligence, Holland, v. 42, n. 1-3, p. 197-226, 2004.
7. BORDINI, Rafael Heitor ; Moreira, Á. F. . Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language. Electronic Notes in Theoretical Computer Science, Holanda, v. 70, n. 4, p. 7, 2002.
Livros publicados/organizados ou edições
1. SAMPAIO, A (Org.) ; Moreira, Á. F. (Org.) ; RIBEIRO, Leila (Org.) . Proceedings of the SBMF 2005 - Brazilian Symposium on Formal Methods. , 2005. v. 1. 205 p.
Capítulos de livros publicados
1. BORDINI, Rafael Heitor ; VIEIRA, Renata ; Moreira, Á. F. . Fundamentos de Sistemas Multiagentes. In: Carlos Eduardo Ferreira. (Org.). Anais do XXI Congresso da Sociedade Brasileira de Computação (SBC2001), Volume 2, XX Jornada de Atualização em Informática (JAI). : Sociedade Brasileira de Computação, 2001, v. 2, p. 3-41.
Trabalhos completos publicados em anais de congressos
1. FUZITAKI, C. N. ; Álvaro Moreira ; VIEIRA, Renata . Ontology Reasoning in Agent-Oriented Programming. In: Brazilian Symposium on Artificial Intelligence (SBIA), 2011, São Bernardo do Campo. Advances in Artificial Intelligence SBIA 2010 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings. Berlin/Heidelberg : Springer, 2011. v. 6404. p. 21-30.
2. Ronaldo Ferreira ; Álvaro Moreira ; Luigi Carro . Matrix control-flow algorithm-based fault tolerance. In: IEEE International On-Line Testing Symposium, 2011, Athens. On-Line Testing Symposium (IOLTS), 2011 IEEE 17th International, 2011. p. 37-42.
3. Ronaldo Ferreira ; AZAMBUJA, J. R. F. ; Álvaro Moreira ; Carro, L . Correction of Soft Errors in Control and Data Flow Program Segments. In: Workshop on Design for Reliability (DFR), 2011, Creta. 3rd HiPEAC Workshop on Design for Reliability. Held in conjunction with the 6th International Conference on High Performance and Embedded Architectures and Compilers, 2011.
4. Ronaldo Ferreira ; Álvaro Freitas Moreira ; Luigi Carro . System Level Hardening by Computing with Matrices. In: Digital System Design: Architectures, Methods and Tools (DSD), 2010, Lille, France. Digital System Design: Architectures, Methods and Tools (DSD), 2010 13th Euromicro Conference on, 2010. p. 373-379.
5. Ronaldo Ferreira ; Álvaro Freitas Moreira ; Luigi Carro . Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes. In: Workshop de Testes e Tolerância a Falhas (WTF 2010), 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas. Porto Alegre : Sociedade Brasileira de Computação (SBC). Porto Alegre : SBC, 2010. p. 133-145.
6. Carlos Lisboa ; Carmela Grando ; Álvaro Freitas Moreira ; Carro, L . Using software invariants for dynamic detection of transient errors. In: IEEE Latin American Test Workshop, 2009, Búzios. Test Workshop, 2009. LATW '09. 10th Latin American, 2009. p. 1-6.
7. Carmela Grando ; Carlos Lisboa ; Moreira, Á ; Carro, L . Invariant checkers: An efficient low cost technique for run-time transient errors detection. In: 15th IEEE International On-Line Testing Symposium, 2009, Sesimbra, Portugal. 15th IEEE International On-Line Testing Symposium. Los Alamitos, California : IEEE Computer Society Press, 2009. p. 35-40.
8. MOREIRA, Á. F. ; VIEIRA, Renata . Belief Update in AgentSpeak-DL. In: Dagstuhl Seminar 08361 - Programming Multi-Agent Systems, 2008, Dagstuhl. Dagstuhl Seminar Proceedings - Programming Multi-Agent Systems. Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008.
9. FUZITAKI, C. N. ; MOREIRA, Á. F. ; GALANTE, Renata de Matos ; HEUSER, Carlos Alberto . CXPath : a query language for conceptual models of integrated XML data. In: International Conference on Software Engineering and Knowledge Engineering, 2007, Boston. Proceedings of International Conference on Software Engineering and Knowledge Engineering. Boston : Skokie : Knowledge Systems Institute, 2007. v. 1. p. 592-597.
10. MOreira, A. F ; Cota, E ; Gapsary, L ; RIBEIRO, Leila ; Carro, L ; RITT, Marcus ; Weber, T . Em Direção a um Modelo para Desenvolvimento de Sistemas Computacionais de Qualidade para Aplicações Onivalentes. In: XXXIV Seminário Integrado de Software e Hardware, 2007, Rio de Janeiro. XXXIV Seminário Integrado de Software e Hardware, XXVII Congresso da Sociedade Brasileira de Computação. Porto alegre : Sociedade Brasileira de Computação, 2007. p. 2262-2276.
11. MACHADO, Rodrigo ; Moreira, Á. F. ; GALANTE, Renata . Type Safe Versioned Object Query Language. In: Simpósio Brasileiro de Linguagens de Programação, 2006, Itatiaia. Anais do X Simpósio Brasileiro de Linguagens de Programação, 2006. p. 263-276.
12. MACHADO, Rodrigo ; Moreira, Á. F. ; GALANTE, Renata de Matos ; MORO, Mirella . A Query Language for a Versioned Object Oriented Database. In: Simpósio Brasileiro de Banco de Dados, 2006, Florianópolis. Anais do XXI Simpósio Brasileiro de Banco de Dados, 2006. p. 72-86.
13. VIEIRA, Renata ; Moreira, Á. F. ; BORDINI, Rafael Heitor ; HÜBNER, Jomi . An Agent-Oriented Programming Language for Computing in Context. In: Professional Practice in Artificial Intelligence - IFIP 19th World Computer Congress, 2006, Santiago. Professional Practice in Artificial Intelligence - IFIP 19th World Computer Congress Professional Practice Stream, 2006. v. 128. p. 61-70.
14. NASCIMENTO, Gleison ; Moreira, Á. F. . Identificação de Nomes Ativos em Cálculo-pi baseada em Tipos. In: Simpósio Brasileiro de Métodos Formais, 2006, Natal. Anais do Simpósio Brasileiro de Métodos Formais, 2006. p. 89-104.
15. Moreira, Á. F. ; VIEIRA, Renata ; BORDINI, Rafael Heitor ; HUBNER, J. F. . Agent-Oriented Programming with Underlying Ontological Reasoning. In: Declarative Agent Languages and Technologies, 2006, Utrecht. Third International Workshop, DALT 2005 - Selected and Revised Papers - LNAI. Berlin Heidelberg : Springer, 2006. v. 3904. p. 132-147.
16. Moreira, Á. F. ; VIEIRA, Renata ; BORDINI, Rafael H. ; HÜBNER, Jomi . Agent-Oriented Programming with Underlying Ontological Reasoning. In: 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005) - held in conjunction with AAMAS 2005, 2005, Utrecht. 3rd International Workshop on Declarative Agent Languages and Technologies (DALT 2005), 2005. v. 1. p. 132-147.
17. Moreira, Á. F. ; VIEIRA, Renata ; BORDINI, Rafael Heitor . Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Workshop on Delcarative Agent Languages and Technologies - DALT2003, 2004, Melbourne. Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Springer Serie: Lecture Notes in Computer Science Subseries: Lecture Notes in Artificial Int, 2003. v. 2990. p. 135-154.
18. GALANTE, Renata de Matos ; EDELWEISS, Nina ; SANTOS, Clesio Saraiva dos ; Moreira, Á. F. . Data Modification Language for Full Support of Temporal Schema Versioning. In: SBBD, 2003, Manaus, AM. Anais do XVIII Simpósio Brasileiro de Banco de Dados, 2003. v. 1. p. 114-128.
19. Moreira, Á. F. ; BORDINI, Rafael Heitor . An Operational Semantics for a BDI Agent-Oriented Programming Language. In: Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002, Toulouse. Proceedings of Workshop on Logics for Agent-Based Systems (LABS-02), held in with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002. p. 45-59.
20. BORDINI, Rafael Heitor ; Moreira, Á. F. . Proving the Asyimmetry Thesis Principles for a BDI Agent-Oriented Programming Language. In: 3rd Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), held in conjunction with the International Conference on Logic Programming (ICLP2002), part of the 2002 Federated Logic Conference, 2002, Copenhagen. Proceedings of the 3rd Workshop on Computational Logic in Multi-Agent systems (CLIMA-02), held in conjunction with the International Conference on Logic Programming. Datalogiske Skrifter (Writings in computer Science).. Copenhagen : Roskilde University, 2002. v. 93. p. 94-108.
21. Moreira, Á. F. . Operational Semantics for Store Consistency. In: V Simpósio Brasileiro de Linguagens de Programação, 2001, Curitiba. SBPL 2001 - V Simpósio Brasileiro de Linguagens de Programação, 2001. p. 140-151.
22. Moreira, Á. F. ; STECKLER, P. . Type-Based Locality Analysis. In: WMF 2000 - Workshop de Métodos Formais. realizado em conjunto com o Simpósio Brasileiro de Engenharia de Software, SBES 2000, 2000, João Pessoa, Paraíba. SBES 2000 - Workshops, 2000. p. 157-168.
23. Moreira, Á. F. ; WEBBER, R. F. . Uma Axiomatização para DSL - um Linguagem para Descrição de Hardware . In: VII SBCCI - Simpósio Brasileiro de Concepção de Circuitos Integrados, 1992, Rio de Janeiro, 1992.
Resumos expandidos publicados em anais de congressos
1. MRACK, Marcelo ; Moreira, Á. F. ; PIMENTA, Marcelo . Merlim: interfaces CRUD em tempo de execução. In: XIII Sessão de Ferramentas do SBES, 2006, Florianópolis. XX Simpósio Brasileiro de Engenharia de Software - Anais da XIII Sessão de Ferramentas, 2006. p. 79-84.
Resumos publicados em anais de congressos
1. Flávio Rech Wagner ; Lúcio Mauro Duarte ; Thales Heimfarth ; FOSS, L. ; MACHADO, Rodrigo ; Carro, L ; LAMB, L. C. ; RIBEIRO, Leila ; Álvaro Freitas Moreira ; Cota, E ; Carlos Eduardo Pereira . Uma metodologia de engenharia de software para o desenvolvimento de sistemas emergentes auto-orgnizáveis. In: Seminário sobre Grandes Desafios da Computação no Brasil, 2009, Manaus. Seminário sobre Grandes Desafios da Computação no Brasil, 2009.
2. MACHADO, Rodrigo ; Moreira, Á. F. . Protótipo de Interpretador para cTVQL. In: II Escola Regional de Banco de Dados, 2006, Passo Fundo. Anais da II Escola Regional de Bando de Dados - ERBD 2006, 2006. p. 81-86.
3. STECKLER, P. ; Moreira, Á. F. . Optimizing for Local References in Distributed Poly/ML. In: 5th LOMAPS Workshop - Analysis and Verification of Multiple-Agent Languages, 1996, Suécia, 1996. p. 32-32.
4. COSTA, Antônio Carlos da Rocha ; Moreira, Á. F. . Resource Flow Interpretation of Sequent Calculi. In: WoLLIC - Workshop on Logic, Language, Information and Computation, 1994, Recife, Pernambuco, 1994. p. 13-13.
Demais tipos de produção bibliográfica
1. Moreira, Á. F. . A Type-Based Locality Analysis for a Functional Distributed Language .Technical Report ECS-LFCS-00-418, University of Edinbrugh 2000 (Relatório de Pesquisa).
Produção técnica
Trabalhos técnicos
1. Moreira, Á. F. . Simpósio Brasileiro de Linguagens de Programação - SBLP 2006. 2006.
2. Moreira, Á. F. . Simpósio Brasileiro de Engenharia de Software - SBES 2006. 2006.
3. Moreira, Á. F. . Simpósio Brasileiro de Métodos Formais - SBMF 2006. 2006.
4. Moreira, Á. F. . Concurso de Trabalhos de Iniciação Científica - CTIC 2006. 2006.
5. Moreira, Á. F. . Simpósio Brasileiro de Engenharia de Software - SBES 2005. 2005.
6. Moreira, Á. F. ; RIBEIRO, Leila . Simpósio Brasileiro de Métodos Formais - SBMF 2005. 2005.
7. Moreira, Á. F. . XXV Congresso da Sociedade Brasileira de Computação. 2005.
8. Moreira, Á. F. . Concurso de Trabalhos de Iniciação Científica - CTIC 2005. 2005.
Demais trabalhos
1. Moreira, Á. F. ; GALANTE, Renata de Matos ; EDELWEISS, Nina ; SANTOS, Clesio Saraiva dos . Semântica Operacional e Sistemas de Tipos para Linguagens de Banco de Dados (Mini-Curso do Workshop de Métodos Formais). 2003 (Demais trabalhos relevantes).

Bancas
Participação em bancas examinadoras
Dissertações
1. P.Fernandes; DOTTI, F. L.; Álvaro Freitas Moreira. Participação em banca de Paulo Junior Pivetta. Uma Biblioteca de Padrões de Especificação em Event-B para Mecanismos de Troca de Mensagens em Sistemas Distribuidos. 2010. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
2. Moreira, Á. F.; OLIVEIRA, Flávio Moreira de; P.Fernandes; DOTTI, F. L.. Participação em banca de Odorico Machado Mendizabal. Avaliação Quantitativa de Modelos em Gramática de Grafos Baseada em Objetos. 2006. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
3. Moreira, Á. F.; RIBEIRO, Leila; NUNES, D. J.; P.Fernandes. Participação em banca de Leonardo Michelon. Gramática de Grafos Baseada em Objetos com Tempo. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
4. NUNES, D. J.; RIBEIRO, Leila; AUDY, J. L. N.; ZIRBES, S. F.; Moreira, Á. F.. Participação em banca de Paulo Roberto Garcia Júnior. APSEE-Metrics: um Modelo para Mensuração em Processos de Software. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
5. Moreira, Á. F.; DIVÉRIO, Tiarajú Azmuz; MARTINI, Alfio. Participação em banca de Sirlei Inês Sulzbach. Definição, Especificação e Análise de Complexidade do Jogo Diferencial Lobos e Cordeiros . 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
6. Moreira, Á. F.; NUNES, D. J.; AUDY, J. L. N.; LISBOA, M. L. B.; ZIRBES, S. F.. Participação em banca de Ana Vitória Piaggio de Freitas. APSEE-Global: Um Modelo de Gerência de Processos Distribuídos de Software. 2005. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
7. Moreira, Á. F.; FREITAS, C. M. D. S.; NEDEL, L.; PINTO, M. S.. Participação em banca de Jorge Alberto Rangel Torres. Uma Arquitetura para Animar Agentes Autônomos em Ambientes Virtuais. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
8. Moreira, Á. F.; BAZZAN, A. L. C.; LAMB, L. C.; FINGER, M.. Participação em banca de Aline Vieira Malanovicz. Definição Inicial de um Sistema de Provas Rotulado para Lógicas do Conhecimento. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
9. Moreira, Á. F.; TOSCANI, Laira Vieira; OLIVEIRA, Flávio Moreira de. Participação em banca de Mônica Xavier Py. Análise da Máquina de Turing Persistente com Múltiplas Fitas de Trabalho. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
10. Moreira, Á. F.; VIEIRA, Renata; COSTA, Antônio Carlos da Rocha. Participação em banca de Fábio Yoshimitsu Okuyama. Descrição e Geração de Ambientes para Simulações com Sistemas Multiagente. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
11. Moreira, Á. F.; TOSCANI, Laira Vieira; COPSTEIN, Bernardo. Participação em banca de Daniela Tereza Ascendio Russi. Representação e Análise de Gramáticas de Grafos. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
12. Moreira, Á. F.; DOMINGUES, D.; VIEIRA, J. A.. Participação em banca de Cristiano Perotoni Felippetti. A Complexidade na Construção de Sistemas Computacionais. 1999. Dissertação (Mestrado em Comunicação e Semiótica) - Pontifícia Universidade Católica de São Paulo.
Teses de doutorado
1. Álvaro Freitas Moreira; Juliano Iyoda; Paulo Borba; Cristiano Ferraz; SAMPAIO, A. Participação em banca de Cristiano Bertolini. Evaluation of GUI Testing Techniques for System Crashing: from Real to Model-Based Controlled Experiments. 2010. Tese (Doutorado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
2. COSTA, Antônio Carlos da Rocha; Moreira, Á. F.; Haeusler, Edward Hermann; Reiser, Renata H. S.. Participação em banca de Juliana Kaizer Vizzotto. Strcturing General and Complete Quantum Computations in Haskell. 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
3. MARTINI, Alfio; Moreira, Á. F.; MOREIRA, A. M.; NUNES, D. J.; RIBEIRO, Leila. Participação em banca de Ana Paula Lüdke Ferreira. Object-Oriented Graph Grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
4. Moreira, Á. F.; BARONE, D. A.; PANDIKOW, H. M. A.; LADEIRA, M.; VICARI, R.. Participação em banca de Cecília Dias Flores. Negociação Pedagógica Aplicada a um Ambiente Multiagente de Aprendizagem Colaborativa. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
Trabalhos de Conclusão de Curso de graduação
1. Moreira, Á. F.. Participação em banca de Leandro Puerari dos Santos. Particionamento de Grafos. 2002. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
2. Moreira, Á. F.. Participação em banca de André Luis Martinotto. Paralelização de Métodos Numéricos de Resolução de Sistemas de Equações Utilizando MPI e Threads. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
3. Moreira, Á. F.. Participação em banca de Marcos Palha. Avaliação de Desempenho e Perfilamento de Código em Programas Paralelos. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
4. Moreira, Á. F.. Participação em banca de Diana Adamatti. Sistemas Multiagentes em Ambientes de Aprendizagem. 2001. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
5. Moreira, Á. F.. Participação em banca de Enio Francisco Foppa. Paralelização de Métodos de Solução de Sistemas de Equações Utilizando MPI. 2000. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
6. Moreira, Á. F.. Participação em banca de Nemora Mioreli. Estudo de Sistemas Biométricos de Identificação de Pessoas. 1999. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
7. Moreira, Á. F.. Participação em banca de Monia Regina Turella. Desenvolvimento de Software: um Estudo de Metodologias e uma Proposta de Adequação à realidade da Dzset Soluções e Sistemas. 1999. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
8. Moreira, Á. F.. Participação em banca de Andreia Aragão. Análise de Interfaces em Comércio Eletrônico. 1999. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
9. Moreira, Á. F.. Participação em banca de Alexandre Capra. Banco de Dados Ativos. 1999. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul.
10. Moreira, Á. F.; CARISSIMI, A. S.; GEYER, C. F. R.. Participação em banca de Daniela Rejane Krause. Passarela: um Mecanismo de Acesso a Transputers. 1992. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul.
Participação em bancas de comissões julgadoras
Concurso público
1. Álvaro Freitas Moreira; Leticia Mara Peres; Sergio Nesmachnow. Concurso para professor na UNILA. 2010. Universidade Federal da Integração Latino-Americana.
2. Álvaro Freitas Moreira; Avelino Zorzo; Philippe Olivier Navaux. Concurso para professor na UERGS. 2010. Universidade Estadual do Rio Grande do Sul.
3. Moreira, Á. F.; FREITAS, C. M. D. S.; NAVAUX, P. O.. Concurso para professor da UERGS. 2006. Universidade Estadual do Rio Grande do Sul.
4. Álvaro Freitas Moreira; LAMB, Luis da Cunha; BAZZAN, A. L. C.. Concurso público para professor substituto do departamento de Informática Teórica. 2004. Universidade Federal do Rio Grande do Sul.
5. Álvaro Freitas Moreira; LAMB, L. C.; BAZZAN, A. L. C.. Concurso público para professor substituto de lógica para computação e linguagens formais, departamento de Informática Teórica. 2003.
Outras participações
1. Travassos, G. H.; von Staa. A.; Moreira, Á. F.. WTES - Workshop de Teses e Dissertações em Engenharia de Software (SBES 2006). 2006.

Eventos
Participação em eventos
1. Workshop on Declarative Agent Languages and Technologies - DALT2003.Workshop on Declarative Agent Languages and Technologies - DALT2003. 2003. (Oficina).
2. XXII Congresso da Sociedade Brasileira de Computação.XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).
3. Third Workshop on Computational Logica in Multi-Agent Systems.Workshop on Computational Logic in Multi-Agent Systems. 2002. (Oficina).
4. Workshop on Logics for Agent-Based Systems - LABS.Workshop on Logics for Agent-Based Systems - LABS. 2002. (Oficina).
5. XXI Congresso da Sociedade Brasileira de Computação.XXI Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).
6. V Simpósio Brasileiro de Linguagens de Programação.V Simpósio Brasileiro de Linguagens de Programação. 2001. (Simpósio).
7. I EPA - Encontro de Planejamento e Avaliação da Iniciativa Ki Enxoval Recém-Doutor.I Encontro de Planejamento e Avaliação da Iniciativa Kit Enxoval Recém-Doutor. 2001. (Encontro).
8. Seminário Internacional em Gestão do Conhecimento.Seminário Internacional em Gestão do Conhecimento. 2000. (Seminário).
9. III Workshop de Métodos Formais.III Workshop de Métodos Formais. 2000. (Oficina).
10. Workshop on Types in Compilation.Workshop on Types in Compilation. 1997. (Oficina).
11. International Conference on Functional Programming.International Conference on Functional Programming. 1997. (Outra).
12. V LOMAPS Workshop - Analysis and Verification of Multiple-Agent Languages.V LOMAPS Workshop - Analysis and Verification of Multiple-Agent Languages. 1996. (Oficina).
13. X Simpósio Brasileiro de Inteligência Artificial.X Simpósio Brasileiro de Inteligência Artificial . 1993. (Simpósio).
14. XII Congresso da Sociedade Brasileira de Computação.XII Congresso da Sociedade Brasileira de Computação. 1992. (Congresso).
15. Simpósio Brasileiro de Concepção de Circuitos Integrados.Simpósio Brasileiro de Concepção de Circuitos Integrados. 1992. (Simpósio).
16. VI Simpósio Brasileiro de Inteligência Artificial.VI Simpósio Brasileiro de Inteligência Artificial. 1989. (Simpósio).
17. VI Congresso da Sociedade Brasileira de Computação.VI Congresso da Sociedade Brasileira de Computação. 1986. (Congresso).
Organização de eventos
1. Álvaro Freitas Moreira ; Marcel de Oliveira ; Jim Woodcock . Simpósio Brasileiro de Métodos Formais - SBMF 2009 (chair). 2009. (Congresso).
2.   Mello, A. C. V. ; Moreira, Á. F. . Simpósio Brasileiro de Métodos Formais - SBMF 2007 (co-chair do comitê de programa). 2007. (Congresso).
3. Moreira, Á. F. ; RIBEIRO, Leila . Simpósio Brasileiro de Métodos Formais - SBMF 2005 (co-chair). 2005. (Congresso).
4. WALTER, Marcelo ; Moreira, Á. F. . XXV Congresso da Sociedade Brasileira de Computação (co-chair). 2005. (Congresso).
5. Moreira, Á. F. . XVI Salão de Iniciação Científica da UFRGS. 2004. (Congresso).
6. Moreira, Á. F. . XV Salão de Iniciação Científica da UFRGS. 2003. (Congresso).
7. Moreira, Á. F. . Escola Regional de Informática - ERI. 2002. (Outro).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Rafael Baldiati Parizi. Detecção e Correção de Falhas Transientes em SW (provisório). Início: 2011. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
2. Olinto David de Oliveira. Atualização de Crenças em uma Linguagem Orientada a Agentes baseada em Lógica de Descrição. Início: 2008. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul. (Orientador).
Tese de doutorado
1. Ronaldo Ferreira. Detecção e Correção de Falhas Transientes em SW (provisório). Início: 2010. Tese (Doutorado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Co-orientador).
2. Gleison Samuel do Nascimento. Reengenharia de Sistemas Legados baseada em Processos de Negócio. Início: 2007. Tese (Doutorado em Programa de Pós-Graduação em Computação) - Universidade Federal do Rio Grande do Sul. (Co-orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Marcelo Mrack. Geração Automática e Assistida de Interface de Usuário em Tempo de Execução. 2008. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Álvaro Freitas Moreira.
2. Willian Bruno Gomes Alves. Formalização do Processo de Tradução de Consultas em Ambientes de Integração de Dados XML. 2008. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Álvaro Freitas Moreira.
3. Rodrigo Machado. Semântica Formal paraTVQL. 2005. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Álvaro Freitas Moreira.
4. Gleison Nascimento. Identificação de Nomes ativos em Agentes Pi Baseda em Tipos. 2005. 0 f. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, . Orientador: Álvaro Freitas Moreira.
Tese de doutorado
1. Cláudio Naoto Fuzitaki. Fundamentos de Linguagens para Bancos de Dados (provisório). 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Álvaro Freitas Moreira.
Supervisão de pós-doutorado
1. Luciana Foss. 2009. Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Álvaro Freitas Moreira.
Trabalho de conclusão de curso de graduação
1. Luciana Foss. Definição de uma Linguagem de Programação Concorrente. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul. Orientador: Álvaro Freitas Moreira.
Iniciação Científica
1. Germano Caumo Carniel. Lógica em Computação - Ferramentas para Dedução Automática. 2007. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Álvaro Freitas Moreira.
2. Adriano Kalil. Análise de Programas Baseada em Tipos. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Álvaro Freitas Moreira.
3. Marcos Paulo Berteli Slomp. Análise de Programas Baseada em Tipos. 2004. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Álvaro Freitas Moreira.
4. Alexandra Cemin. Projeto ANDI. 2003. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Álvaro Freitas Moreira.
5. Fernando Barden Rubo. Projeto ANDI. 2002. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul, Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul. Orientador: Álvaro Freitas Moreira.
6. Rogério Vacari. Projeto Representação. 2001. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Álvaro Freitas Moreira.
7. John Soldera. Projeto ANDI. 2000. 0 f. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Álvaro Freitas Moreira.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 19:58:43