D.Sc. em Informática pela PUC-Rio
Departamento de Ciência da Computação e Pós-graduação
Métodos formais, linguagens de programação e engenharia de software
