Publicado em: 22/04/2010

Rodrigo Machado

E-mail: rma@inf.ufrgs.br Telefone: +55 51 3308-6155 Sala: 202 – Prédio 67 Currículo Lattes: http://lattes.cnpq.br/0456516366590574 Página Pessoal: http://www.inf.ufrgs.br/~rma

Curso: Doutorado
Orientador: Leila Ribeiro
Ingresso: 2006/2

» Qualificações:

• Mestrado em Ciência da Computação (UFRGS, Porto Alegre, Brasil, 2005)

» Áreas de Interesse:

• Reescrita de grafos
• Programação orientada a aspectos
• Semântica formal de linguagens de programação
• Sistemas de tipos