Alvaro Freitas Moreira
Álvaro Freitas Moreira concluiu o doutorado em Ciência da Computação na Universidade de Edimburgo em 2000. É professor titular 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 para inteligência artificial, linguagens para sistemas multiagentes e sistemas de tipos para linguagens de programação.
Informações coletadas do Lattes em 04/09/2025
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
1994 - 1999
University of Edinburgh
Título: Type-Based Locality Analysis for a Functional Distributed Language
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 TerraGrande Á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.
Mestrado em Computação
1989 - 1992
Universidade Federal do Rio Grande do Sul
Título: Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware, Ano de Obtenção: 1992
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 TerraGrande Á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.
Graduação em Bacharelado em Ciência da Computação
1984 - 1988
Universidade Federal do Rio Grande do Sul
Título: Proposta de um Núcleo Multiprocessado para a Arquitetura SUMUS
Orientador: Celso Maciel da Costa
Pós-doutorado
2013 - 2014
Pós-Doutorado. , New York University, NYU, Estados Unidos. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, 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.
Formação complementar
2001 - 2001
III Curso de Qualidade (SBC). , Universidade de Fortaleza, UNIFOR, Brasil.
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 - 1992
VIII Escola de Computação. , Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
1990 - 1990
VII Escola de Computação. , Universidade de São Paulo, USP, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
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: 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: Teoria da Computação/Especialidade: Inteligência Artificial.
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.
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.
Organização de eventos
Álvaro Freitas Moreira ; Marcel de Oliveira ; Jim Woodcock . Simpósio Brasileiro de Métodos Formais - SBMF 2009 (chair). 2009. (Congresso).
Mello, A. C. V. ; Moreira, Á. F. . Simpósio Brasileiro de Métodos Formais - SBMF 2007 (co-chair do comitê de programa). 2007. (Congresso).
Moreira, Á. F. ; RIBEIRO, Leila . Simpósio Brasileiro de Métodos Formais - SBMF 2005 (co-chair). 2005. (Congresso).
WALTER, Marcelo ; Moreira, Á. F. . XXV Congresso da Sociedade Brasileira de Computação (co-chair). 2005. (Congresso).
Moreira, Á. F. . XVI Salão de Iniciação Científica da UFRGS. 2004. (Congresso).
Moreira, Á. F. . XV Salão de Iniciação Científica da UFRGS. 2003. (Congresso).
Moreira, Á. F. . Escola Regional de Informática - ERI. 2002. (Outro).
Participação em eventos
International Conference on Architectural Support for Programming Languages and Operating Systems. Single-Instruction HW/SW Unified Stack for Accelerated and Resilient Application Execution. 2012. (Congresso).
Workshop on Declarative Agent Languages and Technologies - DALT2003.Workshop on Declarative Agent Languages and Technologies - DALT2003. 2003. (Oficina).
Third Workshop on Computational Logica in Multi-Agent Systems.Workshop on Computational Logic in Multi-Agent Systems. 2002. (Oficina).
Workshop on Logics for Agent-Based Systems - LABS.Workshop on Logics for Agent-Based Systems - LABS. 2002. (Oficina).
XXII Congresso da Sociedade Brasileira de Computação. XXII Congresso da Sociedade Brasileira de Computação. 2002. (Congresso).
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).
V Simpósio Brasileiro de Linguagens de Programação.V Simpósio Brasileiro de Linguagens de Programação. 2001. (Simpósio).
XXI Congresso da Sociedade Brasileira de Computação. XXI Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).
III Workshop de Métodos Formais.III Workshop de Métodos Formais. 2000. (Oficina).
Seminário Internacional em Gestão do Conhecimento.Seminário Internacional em Gestão do Conhecimento. 2000. (Seminário).
International Conference on Functional Programming.International Conference on Functional Programming. 1997. (Outra).
Workshop on Types in Compilation.Workshop on Types in Compilation. 1997. (Oficina).
V LOMAPS Workshop - Analysis and Verification of Multiple-Agent Languages.V LOMAPS Workshop - Analysis and Verification of Multiple-Agent Languages. 1996. (Oficina).
X Simpósio Brasileiro de Inteligência Artificial.X Simpósio Brasileiro de Inteligência Artificial. 1993. (Simpósio).
Simpósio Brasileiro de Concepção de Circuitos Integrados.Simpósio Brasileiro de Concepção de Circuitos Integrados. 1992. (Simpósio).
XII Congresso da Sociedade Brasileira de Computação. XII Congresso da Sociedade Brasileira de Computação. 1992. (Congresso).
VI Simpósio Brasileiro de Inteligência Artificial.VI Simpósio Brasileiro de Inteligência Artificial. 1989. (Simpósio).
VI Congresso da Sociedade Brasileira de Computação. VI Congresso da Sociedade Brasileira de Computação. 1986. (Congresso).
Participação em bancas
Carro, L; NAZAR, GABRIEL; Ricardo dos Santos Ferreira;Alvaro Freitas Moreira. Software-only Computation Reuse Techniques for Energy Efficient CNNs. 2019. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
PIVETTA, E. K.; VIZZOTTO, J. K.; AUGUSTIN, I.;Alvaro F. Moreira. Cálculo de Ambientes Tipado Sensivel ao Contexto para Aplicações Pervasivas. 2012. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.
VIEIRA, Renata; ABEL, M.;Alvaro F. MoreiraBORDINI, Rafael Heitor. MARO: Um Modelo de Emoções Usando Ontologia. 2012. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
Alvaro F. Moreira; FURTADO, O. J. V.; VILAIN, P.; WAZLAWICK, R. S.. Inserindo Suporte a Declaração de Associações da UML 2 em uma Linguagem de Programação Orientada a Objetos. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.
P.Fernandes; DOTTI, F. L.;Álvaro Freitas Moreira. 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.
SCHRANK, A.; BAZZAN, A. L. C.;RIBEIRO, LeilaAlvaro F. Moreira. Formalização de uma Linguagem Visual para Descrição de Sistemas Biológicos. 2009. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
BRAGA, R. T. V.; Lúcio Mauro Duarte;NUNES, D. J.Alvaro Freitas Moreira. Inference Rules for Generic Code Migration of Aspect-Oriented Programs. 2009. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
Moreira, Á. F.; OLIVEIRA, Flávio Moreira de; P.Fernandes; DOTTI, F. L.. 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.
Moreira, Á. F.RIBEIRO, LeilaNUNES, D. J.; P.Fernandes. Gramática de Grafos Baseada em Objetos com Tempo. 2006. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
NUNES, D. J.RIBEIRO, Leila; AUDY, J. L. N.; ZIRBES, S. F.;Moreira, Á. F.. 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.
Moreira, Á. F.; DIVÉRIO, Tiarajú Azmuz; MARTINI, Alfio. 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.
Moreira, Á. F.NUNES, D. J.; AUDY, J. L. N.; LISBOA, M. L. B.; ZIRBES, S. F.. 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.
Moreira, Á. F.; FREITAS, C. M. D. S.; NEDEL, L.; PINTO, M. S.. Uma Arquitetura para Animar Agentes Autônomos em Ambientes Virtuais. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
Moreira, Á. F.; BAZZAN, A. L. C.; LAMB, L. C.; FINGER, M.. 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.
Moreira, Á. F.; TOSCANI, Laira Vieira; OLIVEIRA, Flávio Moreira de. 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.
Moreira, Á. F.VIEIRA, RenataCOSTA, Antônio Carlos da Rocha. 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.
Moreira, Á. F.; TOSCANI, Laira Vieira; COPSTEIN, Bernardo. Representação e Análise de Gramáticas de Grafos. 2003. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
Moreira, Á. F.; DOMINGUES, D.; VIEIRA, J. A.. 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.
Ricardo Matsumura Araújo; MENEGUZZI, F. R.; LAMB, Luis da Cunha;Alvaro Freitas Moreira. Learning to Solve NP-Complete Problems. 2019. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
MARTINI, Alfio; BIGONHA, R.;Álvaro Freitas MoreiraRIBEIRO, Leila. Sistemas de Reescrita de Grafos de Alta Ordem. 2012. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
HÜBNER, JomiÁlvaro Freitas Moreira; COSTA, S. A.;COSTA, Antônio Carlos da Rocha. Especificação Formal de Organizações de Sistemas Multiagentes. 2011. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
Álvaro Freitas Moreira; Juliano Iyoda; Paulo Borba; Cristiano Ferraz; SAMPAIO, A. 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.
LISBOA, M. L. B.; VALENTE, M. T. O.; SOARES, S. C. B.;Alvaro Freitas Moreira. Improving the Search for Refactoring Opportunities on Object-Oriented and Aspect-Oriented. 2009. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
COSTA, Antônio Carlos da RochaMoreira, Á. F.; Haeusler, Edward Hermann; Reiser, Renata H. S.. Strcturing General and Complete Quantum Computations in Haskell. 2006. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
MARTINI, Alfio;Moreira, Á. F.; MOREIRA, A. M.;NUNES, D. J.RIBEIRO, Leila. Object-Oriented Graph Grammars. 2005. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul.
Moreira, Á. F.; BARONE, D. A.; PANDIKOW, H. M. A.; LADEIRA, M.; VICARI, R.. 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.
BAZZAN, A. L. C.; LAMB, Luis da Cunha;Álvaro Freitas Moreira. Otimização Combinatória Tema de profundidade: Metaheurísticas. 2012. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.
BORDINI, Rafael Heitor; BURIOL, L. S.;Álvaro Freitas Moreira. Verificação Formal Aplicada: hardware, model cheking, provadores de teoremas. 2011. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.
ABEL, M.; WIVES, L. K.;Álvaro Freitas Moreira. Apredizado de Línguas Auxiliado pelo Computador (CALL ? Computer Assisted Language Learning). 2011. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.. 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.
Moreira, Á. F.; CARISSIMI, A. S.; GEYER, C. F. R.. 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.
Álvaro Freitas Moreira; Leticia Mara Peres; Sergio Nesmachnow. Concurso para professor na UNILA. 2010. Universidade Federal da Integração Latino-Americana.
Álvaro Freitas Moreira; Avelino Zorzo; Philippe Olivier Navaux. Concurso para professor na UERGS. 2010. Universidade Estadual do Rio Grande do Sul.
Moreira, Á. F.; FREITAS, C. M. D. S.; NAVAUX, P. O.. Concurso para professor da UERGS. 2006. Universidade Estadual do Rio Grande do Sul.
Á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.
Á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.
Travassos, G. H.; von Staa. A.;Moreira, Á. F.. WTES - Workshop de Teses e Dissertações em Engenharia de Software (SBES 2006). 2006.
Orientou
Síntese de Programas para Sistemas Embarcados; Início: 2012; 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);
Especificaçao e Verificaçao de Protocolos; Início: 2012; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul; (Orientador);
A Multiagent Application for Personal Agenda Management; Início: 2012; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul; (Orientador);
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);
Revisão de Crenças em Linguagens Orientadas a Agentes; Início: 2012; Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
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; (Coorientador);
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; (Coorientador);
Início: 2010; Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior;
Curios - a web of types; 2023; Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, ; Orientador: Álvaro Freitas Moreira;
Curios - a web of types; 2023; Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, ; Orientador: Álvaro Freitas Moreira;
?Modelling Behaviour Diffusion with Dynamic Logic; 2023; 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: Álvaro Freitas Moreira;
Týr : a dependent type based code transformation for spatial memory safety in LLVM; 2018; Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, ; Orientador: Álvaro Freitas Moreira;
FITT : fault injection test tool to validate safety communication protocols; 2016; Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul, ; Orientador: Álvaro Freitas Moreira;
Detecção e proteção de blocos básicos suscetíveis através da análise sistemática de single bit-flip; 2015; Dissertação (Mestrado 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; Orientador: Álvaro Freitas Moreira;
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;
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;
Atualização de Crenças em uma Linguagem Orientada a Agentes baseada em Lógica de Descrição; 2008; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul, ; Orientador: Álvaro Freitas Moreira;
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;
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;
Choices that make you change your mind: a Dynamic Epistemic Logic approach to the semantics of BDI agent programming languages; 2016; 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; Orientador: Álvaro Freitas Moreira;
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;
2010; Universidade Federal do Rio Grande do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Álvaro Freitas Moreira;
2009; Universidade Federal do Rio Grande do Sul, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Álvaro Freitas Moreira;
Retry-transaction: Uma nova função primitiva de bloqueio para a STM de Clojure; 2012; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio Grande do Sul; Orientador: Álvaro Freitas Moreira;
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;
Computaçao Aplicada a Farmacogenética e a Helthcare; 2010; 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;
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;
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, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: Álvaro Freitas Moreira;
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;
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;
Projeto ANDI; 2002; 0 f; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade de Caxias do Sul, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: Álvaro Freitas Moreira;
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;
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;
Produções bibliográficas
-
SOUZA, MARLO ; VIEIRA, Renata ; MOREIRA, ÁLVARO . Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization. THEORETICAL COMPUTER SCIENCE , v. 872, p. 15-40, 2021.
-
SOUZA, MARLO ; MOREIRA, ÁLVARO . Belief base change as priority change: A study based on dynamic epistemic logic. Journal of Logical and Algebraic Methods in Programming , v. 122, p. 100689, 2021.
-
Arthur Giesel Vedana ; MACHADO, Rodrigo ; Alvaro Freitas Moreira . V: a language with extensible record accessors and a trait-based type system. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 89-101, 2018.
-
FERNANDES, THIAGO SOARES ; MOREIRA, ÁLVARO FREITAS ; COTA, ÉRIKA . EPE-Mobile-A framework for early performance estimation of mobile applications. SOFTWARE-PRACTICE & EXPERIENCE , v. 1, p. 14432285, 2017.
-
FERREIRA, RONALDO R. ; NAZAR, GABRIEL L. ; ROLT, JEAN DA ; MOREIRA, ÁLVARO F. ; CARRO, LUIGI . Live-Out Register Fencing. ACM Transactions on Embedded Computing Systems , v. 15, p. 1-25, 2016.
-
ITTURIET, FÁBIO ; NAZAR, GABRIEL ; FERREIRA, RONALDO ; MOREIRA, ÁLVARO ; CARRO, LUIGI . Adaptive Parallelism Exploitation under Physical and Real-Time Constraints for Resilient Systems. ACM Transactions on Reconfigurable Technology and Systems , v. 7, p. 1-17, 2014.
-
PARIZI, R. B. ; Ronaldo Ferreira ; Carro, L ; Alvaro F. Moreira . Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software. Journal of Aerospace Technology and Management (Online) , v. 5, p. 323-334, 2013.
-
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.
-
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.
-
MACHADO, Rodrigo ; Moreira, Á. F. ; GALANTE, Renata de Matos ; MORO, Mirella . Type-safe Versioned Object Query Language. JOURNAL OF UNIVERSAL COMPUTER SCIENCE , v. 12, p. 938-957, 2006.
-
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.
-
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.
-
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.
-
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.
-
SAMPAIO, A (Org.) ; Moreira, Á. F. (Org.) ; RIBEIRO, Leila (Org.) . Proceedings of the SBMF 2005 - Brazilian Symposium on Formal Methods. , 2005. v. 1. 205p .
-
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.
-
Gaabriel de Senne Amorim ; Marlo Souza ; Alvaro Freitas Moreira . Modelling Diffusion of Dependent and Conflicting Behaviours with Dynamic Logic. In: European Conference on Artificial Intelligence, 2024, Santiago de Compostela. 27th European Conference on Artificial Intelligence, 19?24 October 2024, Santiago de Compostela, Spain ? Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), 2024. p. 1278-1284.
-
COELHO, RICARDO ; TANUS, FELIPE ; MOREIRA, ALVARO ; NAZAR, GABRIEL . ACQuA: A Parallel Accelerator Architecture for Pure Functional Programs. In: 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2020, Limassol. 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2020. p. 346-351.
-
Marlo Souza ; Alvaro Moreira ; Renata Vieira . Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach. In: AAAI Conference on Artificial Intelligence, 2019, Honolulu, EUA. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. Palo alto, EUA: AAAI Press, 2019. v. 33. p. 3076-3083.
-
Marlo Souza ; Alvaro Freitas Moreira ; VIEIRA, Renata . Generalized Iterated Belief Change in Dynamic Epistemic Logic. In: Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador. 2019 Brazilian Conference on Intelligent Systems BRACIS 2019, 2019. p. 693-698.
-
Marlo Souza ; Álvaro F. Moreira ; VIEIRA, Renata . Dynamic Preference Logic as a Logic of Belief Change. In: International Workshop on Dynamic Logic, 2018, Brasilia. Dynamic Logic. New Trends and Applications. DALI 2017. Lecture Notes in Computer Science., 2018. v. 10669. p. 185-200.
-
Marlo Souza ; Alvaro Freitas Moreira ; Renata Vieira . Tractable reasoning about agent programming in dynamic preference logic. In: Brazilian Conference on Intelligent Systems, 2018, São Paulo. Brazilian Conference on Intelligent Systems, 2018. p. 366-371.
-
SOUZA, MARLO ; MOREIRA, ALVARO ; VIEIRA, Renata ; MEYER, JOHN-JULES CH. . A Dynamic Preference Logic for Reasoning about Agent Programming. In: 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017, Uberlândia. 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017. p. 133.
-
Marlo Souza ; Álvaro Freitas Moreira ; Renata Vieira ; John-Jules Meyer . Integrating Ontology Negotiation and Agent Communication. In: OWLED Workshop on OWL: Experiences and Directions, 2016, Bethlehem, EUA. Ontology Engineering 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers, 2016. v. 9557. p. 56-68.
-
Marlo Souza ; Alvaro Freitas Moreira ; Renata Vieira ; John-Jules Meyer . Priorities and Preferences: a Study Based on Contraction. In: KR - International Conference on Principles of Knowledge Representation and Reasoning, 2016, Cape Town, South Africa. Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning, 2016. p. 155-164.
-
FERREIRA, RONALDO ; SANCHES, E. ; DA ROLT, JEAN ; NAZAR, GABRIEL ; Álvaro F. Moreira ; CARRO, LUIGI ; REORDA, M. S. . Permanent Fault Detection and Diagnosis in the Lightweight Dual Modular Redundancy Architecture. In: Latin-American Test Symposium (LATS), 2015, Puerto Vallarta, México. Proceeding of the 16th Latin-American Test Symposium, 2015.
-
RODRIGUES, D. G. ; NAZARIAN, G. ; Álvaro F. Moreira ; Carro, L ; Georgi Gaydadjiev . A non-conservative software-based approach for detecting illegal CFE's caused by transient faults. In: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT), 2015, Amherst. 2015 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), 2015. v. 1. p. 221-226.
-
Ronaldo Ferreira ; Jean Da Rot ; Gabriel Luca Nazar ; Alvaro Moreira ; Luigi Carro . Adaptive Low - Power Architecture for High - Performance and Reliable Embedded Computing. In: International Conference on Dependable Systems and Networks, 2014, Atlanta. Dependable Systems and Networks (DSN), 2014 44rd Annual IEEE/IFIP International Conference on, 2014.
-
FERREIRA, RONALDO R. ; KLOTZ, THOMAS ; VORTLER, THILO ; DA ROLT, JEAN ; NAZAR, GABRIEL L. ; MOREIRA, ALVARO F. ; CARRO, LUIGI ; EINWICH, KARSTEN . Reliable execution of statechart-generated correct embedded software under soft errors. In: 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2014, Warsaw. 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014. p. 147-152.
-
Ronaldo Ferreira ; Jean Da Rot ; Gabriel Luca Nazar ; Alvaro F. Moreira ; Carro, L . A Checkpoint-Deterministic Architecture for Reliable and Low-Power Embedded Computin. In: Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH '14), 2014, Orlando. Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH '14), 2014, Orlando. Proceedings, 2014, 2014.
-
PARIZI, R. B. ; Ronaldo Ferreira ; Luigi Carro ; Alvaro F. Moreira . Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded. In: International Embedded Systems Symposyum, 2013, Paderbon. Embedded Systems: Design, Analysis and Verification IFIP Advances in Information and Communication Technology. Heildelberg: Springer-Verlag, 2013. v. 403. p. 49-60.
-
NASCIMENTO, Gleison ; IOCHPE, C. ; Lucinéia Thom ; André Kalsing ; Álvaro Freitas Moreira . Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA. In: International Conference on Computational Science and Its Applicatins, 2012, Salvador. Computational Science and Its Applications ? ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV - LNCS. Heildelberg: Springer Verlag, 2012. v. 7336. p. 67-82.
-
Álvaro Freitas Moreira ; VIEIRA, Renata ; BORDINI, Rafael Heitor . Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. In: International Workshop on Declarative Agent Languages and Technologies (DALT), 2012, Taipei. Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers - LNCS. Heidelberg: Springer Verlag, 2011. v. 7169. p. 111-116.
-
Fábio Itturriet ; Gabriel Luca Nazar ; Ronaldo Ferreira ; Alvaro Moreira ; Carro, L . Adaptive parallelism exploitation under physical and real-time constraints for resilient systems. In: Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2012, York. Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2012 7th International Workshop on. IEEE, 2012. p. 1-8.
-
ITURRIET, F. ; Ronaldo Ferreira ; Gustavo Girão ; Gabriel Luca Nazar ; Alvaro F. Moreira ; Carro, L . Resilient Adaptive Algebraic Architecture for Parallel Detection and Correction of Soft-Errors. In: 15th Euromicro Conference on Digital System Design, 2012, Cesme, Izmir, Turkey. 15th Euromicro Conference on Digital System Design, 2012. p. 1-8.
-
PARIZI, R. B. ; Ronaldo Ferreira ; Álvaro F. Moreira ; Carro, L . Impacto das Transformações de Compiladores na Eficácia de Correção de Erros de Fluxo de Controle. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2012, Natal. Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2012.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
ANTONI, V. ; Alvaro Moreira . An Asynchronous Algorithm to Improve Scheduling Quality in the Multiagent Simple Temporal Problem. In: International Conference on Autonomous Agents and Multiagent Systems, 2014, Paris. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. New york: ACM. p. 1381-1382.
-
NUNES, D. J. ; RIBEIRO, Leila ; Álvaro Freitas Moreira . Formal Methods at SBES: Evolution and Perspectives. In: Brazilian Symposium on Software Engineering (SBES), 2011, São Paulo. Browse Conference Publications > Software Engineering (SBES), ... Help Formal Methods at SBES: Evolution and Perspectives This paper appears in: Software Engineering (SBES), 2011 25th Brazilian Symposium on, 2011. p. 1-3.
-
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.
-
Ronaldo Ferreira ; Jean Da Rot ; Gabriel Luca Nazar ; Alvaro Moreira ; Luigi Carro . Lightweight DMR for SEE Hardening in Low Power Embedded Systems. In: NUCLEAR AND SPACE RADIATION EFFECTS CONFERENCE, 2014, Paris. 2014 NUCLEAR AND SPACE RADIATION EFFECTS CONFERENCE, 2014.
-
Ronaldo Ferreira ; Jean Da Rot ; Gabriel Luca Nazar ; Alvaro Moreira ; Carro, L . MoMa: A Radiation Hardened Architecture based on Branch-Free Control-Flow Resolution and on Transactional Data-Path Execution. In: Intel Compiler, Architecture and Tools Conference, 2013, Heifa. Intel Compiler, Architecture and Tools Conference, 2013.
-
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.
-
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.
-
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.
-
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.
-
Ronaldo Ferreira ; ITURRIET, F. ; AGUIAR, C. ; Alvaro Freitas Moreira ; Carro, L . Single-Instruction HW/SW Unified Stack for Accelerated and Resilient Application Execution. 2012. (Apresentação de Trabalho/Congresso).
-
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).
Outras produções
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência AAMAS 2015. 2015.
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência SBLP 2015. 2015.
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência SBMF 2015. 2015.
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência FACS 2015. 2015.
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência WEIT 2015. 2015.
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência CLEI 2015. 2015.
Álvaro F. Moreira . Revisão de artigos submetidos para a conferência WESAAC 2015. 2015.
Moreira, Á. F. . Simpósio Brasileiro de Linguagens de Programação - SBLP 2006. 2006.
Moreira, Á. F. . Simpósio Brasileiro de Engenharia de Software - SBES 2006. 2006.
Moreira, Á. F. . Simpósio Brasileiro de Métodos Formais - SBMF 2006. 2006.
Moreira, Á. F. . Concurso de Trabalhos de Iniciação Científica - CTIC 2006. 2006.
Moreira, Á. F. . Simpósio Brasileiro de Engenharia de Software - SBES 2005. 2005.
Moreira, Á. F. ; RIBEIRO, Leila . Simpósio Brasileiro de Métodos Formais - SBMF 2005. 2005.
Moreira, Á. F. . XXV Congresso da Sociedade Brasileira de Computação. 2005.
Moreira, Á. F. . Concurso de Trabalhos de Iniciação Científica - CTIC 2005. 2005.
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) .
Projetos de pesquisa
-
2011 - Atual
LICIA, Descrição: O projeto visa a cooperação entre os Grupos de Pesquisa do Instituto de Informática da UFRGS e do Laboratório de Informática de Grenoble que congregam seus esforços conjuntos sob o nome de Laboratório LICIA que irá desenvolver atividades nas áreas de infraestrutura de middleware; algoritmos,software e programação; e aplicações.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Álvaro Freitas Moreira - Integrante / Daltro José Nunes - Integrante / Carla Maria dal Sasso Freitas - Integrante / Luciana Nedel - Integrante / Luis da Cunha Lamb - Integrante / Luigi Carro - Integrante / Flávio Rech Wagner - Integrante / Philippe Olivier Navaux - Coordenador / Nicolas Mailard - Integrante.
-
2010 - Atual
Computação Aplicada a Farmacogenética e a Helthcare, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Álvaro Freitas Moreira - Coordenador / Lucinéia Thom - Integrante / Ronie Alves - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
-
2010 - Atual
NESS - Nucleo de Excelência em Engenharia de Software para Sistemas Embarcados, Descrição: Este projeto é apoiado pelo programa PRONEX e reúne 16 pesquisadores de quatro universidades do Rio Grande do Sul - UFRGS, UFPel, UFSM e Unipampa. Seu objetivo é o desenvolvimento de competências científicas e tecnológicas visando o projeto de sistemas embarcados complexos num tempo reduzido, garantindo a qualidade e a eficiência do conjunto hardware / software, bem como dando suporte a sua evolução, considerando novas funcionalidades, aplicações, plataformas e requisitos. O Núcleo de Excelência dá ênfase à utilização da abordagem MDE - Engenharia Dirigida por Modelos, bem como de plataformas multiprocessadas e adaptativas. O projeto se desenvolve ao longo de três linhas de pesquisa principais: 1) modelos e transformações adequados ao desenvolvimento de sistemas embarcados; 2) análise de desenvolvimento de sistemas embarcados; 3) adaptabilidade das plataformas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (3) / Doutorado: (10) . , Integrantes: Álvaro Freitas Moreira - Integrante / Luciana Foss - Integrante / Rafael H. Bordini - Integrante / Leila Ribeiro - Integrante / Luis da Cunha Lamb - Integrante / Erika Cota - Integrante / Luigi Carro - Integrante / Flávio Rech Wagner - Coordenador / Carlos Eduardo Pereira - Integrante / Lúcio Mauro - Integrante / antônio Carlos Beck Filho - Integrante / André Rauber Dubois - Integrante / Lisiane Brisolara - Integrante / Simone Andŕe da Costa - Integrante / Ana Paula Ludtke Ferreira - Integrante / ulio Carlos Balzano de Mattos - Integrante., Financiador(es): (FAPERGS) Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro / (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 6
-
2008 - 2009
Aná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: Concluído; Natureza: Pesquisa. , Integrantes: Álvaro Freitas Moreira - Coordenador.
-
2008 - 2009
Uma 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.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Álvaro Freitas Moreira - Integrante / 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., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3
-
2005 - 2007
Form-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: Álvaro Freitas Moreira - Coordenador / 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., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Auxílio financeiro., Número de produções C, T & A: 7
-
2002 - 2006
Agentes 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: Álvaro Freitas Moreira - Coordenador / Rafael Heitor Bordini - Integrante / Renata Vieira - Integrante / Jomi Hübner - Integrante., Financiador(es): Universidade do Vale do Rio dos Sinos - Cooperação / University of Durham - Cooperação / Fundação Universidade Regional de Blumenau - Cooperação., Número de produções C, T & A: 8
Prêmios
2008
Pesquisador Convidado, Dagstuhl Seminar 08361: Programming Multi-Agent Systems, Schloss Dagstuhl - Leibniz Center for Informatics (German: Leibniz-Zentrum für Informatik).
2008
Pesquisador convidado: Franco-Brazilian Scientific Colloquium, Université Paris-Sud 11.
2006
Segundo melhor artigo da Escola Regional de Banco de Dados - ERDB 2006 (Protótipo de Interpretador para cTVQL), Sociedade Brasileira de Computação.
2001
Aprovado 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.
1989
Aprovado em concurso público para professor Auxiliar (área: software básico), Departamento de Informática e Estatística da Universidade Federal de Santa Catarina.
1989
Aprovado em concurso público para professor Auxiliar (área: Sistemas Operacionais), Departamento de Informática da Universidade Federal do Rio Grande do Sul.
Histórico profissional
Endereço profissional
-
Universidade 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:
Experiência profissional
2018 - Atual
Universidade Federal do Rio Grande do SulVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
2002 - Atual
Universidade Federal do Rio Grande do SulVínculo: Servidor Público, Enquadramento Funcional: Professor Associado III, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Professor do Instituto de Informática - Departamento de Informática Teórica.
1993 - 1994
Universidade Federal do Rio Grande do SulVí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.
1986 - 1988
Universidade Federal do Rio Grande do SulVí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.
1985 - 1986
Universidade Federal do Rio Grande do SulVí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
-
01/2015
Direção e administração, Instituto de Informática, Departamento de Informática Teórica.,Cargo ou função, Chefe do Departamento de Informática Teórica.
-
03/2014
Conselhos, Comissões e Consultoria, Instituto de Informática.,Cargo ou função, Coordenador da Comissão Permanente de Alocação de Espaço Físico do Instituto de Informática.
-
09/2003
Ensino, Computação, Nível: Pós-Graduação,Disciplinas ministradas, Biologia Computacional (2006/2), Revisão de Crenças e Lógicas de Descrição (2012/1), Síntese de Programas em Sistemas Embarcados (2012/1), Sistemas de Tipos para Linguagens de Programação (2006/1), Verificação Formal (2003/2), Abordagens baseadas em software para detecção e recuperação de falhas transientes em software embarcado (2009/2)
-
08/2002
Pesquisa e desenvolvimento, Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
-
08/2002
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais (2002/2), Tópicos em Sistemas de Tipos para Linguagens de Programação (2006/1), Verificação Formal (2003/2), Semântica Formal (2002/2 - atual)
-
08/2002
Conselhos, 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.
-
05/2004 - 04/2013
Conselhos, 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.
-
01/2009 - 12/2012
Direção e administração, Instituto de Informática.,Cargo ou função, Coordenador do Programa de Pós-Graduação em Computação.
-
08/2008 - 12/2008
Direçã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/2008
Direçã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/2008
Direçã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.
-
01/2003 - 12/2006
Conselhos, 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.
-
08/2004 - 12/2005
Extensão universitária , Instituto de Informática, Departamento de Informática Teórica.,Atividade de extensão realizada, Curso de Algoritmos.
-
06/2003 - 06/2003
Extensã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.
-
03/1993 - 10/1994
Pesquisa e desenvolvimento, Instituto de Informática, Departamento de Informática Teórica.,Linhas de pesquisa
-
07/1985 - 04/1986
Estágios , Centro de Processamento de Dados, Núcleo de Apoio Ao Usuário.,Estágio realizado, Suporte a usuários, programação.
2000 - 2005
Sociedade Brasileira de ComputaçãoVínculo: Colaborador, Enquadramento Funcional: , Carga horária: 0
Atividades
-
05/2004 - 08/2005
Direção e administração, Sociedade Brasileira de Computação.,Cargo ou função, Representante da SBC no Conselho Municipal de C&T de Porto Alegre.
-
05/2004 - 08/2005
Conselhos, Comissões e Consultoria, Sociedade Brasileira de Computação.,Cargo ou função, Representante da SBC no Conselho Municipal de Ciência e Tecnologia da Prefeitura de Porto Alegre.
-
11/2003 - 08/2005
Direção e administração, Sociedade Brasileira de Computação.,Cargo ou função, Secretário Regional da SBC - Regional RS.
-
08/2002 - 10/2003
Direção e administração, Sociedade Brasileira de Computação.,Cargo ou função, Delegado Institucional da SBC na UFRGS.
-
10/2000 - 07/2002
Direção e administração, Sociedade Brasileira de Computação.,Cargo ou função, Delegado Institucional da SBC na Universidade de Caxias do Sul.
-
05/2002 - 05/2002
Conselhos, Comissões e Consultoria, Sociedade Brasileira de Computação.,Cargo ou função, Organizador da X ERI (Escola Regional de Informática) em Caxias do Sul.
1999 - 2002
Universidade de Caxias do SulVínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 40
1989 - 1990
Universidade de Caxias do SulVínculo: Celetista, Enquadramento Funcional: Professor horista, Carga horária: 4
Atividades
-
01/2002 - 07/2002
Extensã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).
-
03/2001 - 07/2002
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Membro do projeto de pesquisa Representação.
-
03/2001 - 07/2002
Conselhos, 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 - 07/2002
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Líder do Grupo de Pesquisa em Processamento Paralelo e Distribuído.
-
05/2000 - 07/2002
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Coordenador do projeto de Pesquisa ANDI.
-
10/1999 - 07/2002
Conselhos, 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).
-
08/1999 - 07/2002
Pesquisa e desenvolvimento, Centro de Ciências Exatas e Tecnologia, Departamento de Informática.,Linhas de pesquisa
-
08/1999 - 06/2002
Ensino, 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)
-
05/2001 - 12/2001
Extensã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/2001
Extensã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/2001
Extensã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.
-
08/1999 - 02/2001
Outras atividades técnico-científicas , Centro de Ciências Exatas e Tecnologia, Centro de Ciências Exatas e Tecnologia.,Atividade realizada, Membro do projeto de pesquisa ILENA.
-
08/1999 - 12/1999
Ensino, Tecnologo Em Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Programação de Computadores (1999/2)
-
08/1999 - 12/1999
Ensino, Engenharia de Automação, Nível: Graduação,Disciplinas ministradas, Engenharia de Automação
-
03/1989 - 12/1989
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Programação (1989/1), Sistemas Operacionais (1989/2)
1990 - 1993
Pontifícia Universidade Católica do Rio Grande do SulVínculo: Celetista, Enquadramento Funcional: Professor Horista, Carga horária: 8
Atividades
-
03/1990 - 09/1993
Ensino, 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)
-
03/1990 - 09/1993
Ensino, 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)
1988 - 1989
Eletrônica Digital SaVínculo: Celetista, Enquadramento Funcional: , Carga horária: 40
Atividades
-
12/1988 - 02/1989
Serviços técnicos especializados , Eletrônica Digital Sa.,Serviço realizado, Suporte ao sistema operacional UNIX.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Alvaro Freitas Moreira e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?