Qualificações

• Doutorado em Ciência da Computação (UFRGS, Porto Alegre, Brasil, 2012)
• 2003-2005 Mestrado em Computação
• 2006-2012 Doutorado em Computação

Áreas de Interesse

• Modelos de reescrita de grafos
• Modelos de Computação Baseados em Transformação de Grafos
• Semântica Formal de Linguagens de Programação