membro de Grupo de Aplicações de Inteligência Artificial - GAIA Grupo de Pesquisa Métodos Formais e Fundamentos Matemáticos da Ciência da Computação Grupo de Pesquisa