Álvaro Moreira
Address:
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
Bairro Agronomia - CEP 91501-970
Porto Alegre -
Rio Grande do Sul - Brazil
Email: alvaro.moreira at inf.ufrgs.br
Tel: +55 (51) 3308-9466
Fax: +55 (51) 3308-7308
Short bio and research interests - I'm a lecturer in the Departamento de Informática Teórica of the Instituto de Informática of the Universidade Federal do Rio Grande do Sul (UFRGS), Porto Alegre, Brazil, since August 2002. I did my PhD in the Laboratory for Foundations of Computer Science (LFCS) at the University of Edinburgh, Edinburgh, Scotland, and my undergraduate and master course, both in Computer Science, at UFRGS. I'm interested in formal semantics of programming languages, multi-agent programming languages and logics. Currently I'm working on defining program transformations that support fault tolerance in embedded systems and also on formal semantics for BDI multi-agent programming languages.
- Current students
- Ronaldo Ferreira (PhD, 2010 - co-supervision with Luigi Carro) - Language-based mechanisms for detection and correction of transient faults
- Marlo Souza (PhD, 2012 - ) - Logic Languages for Agents
- Rafael Parizi (Master, 2011 - 2013 ) - Implementation and evaluation of ACCE in LLVM
- Felipe Tanus (Undergrad, 2012) - ACCE for VELLM-IR in the Coq Theorem Prover
- Teaching (Portuguese): Semântica Formal , Lógica para Computação
- Professional Activities:
- Head of the Graduate Program in Computer Science of UFRGS (2009-2010, 2011-2012)
- PC member:
