MSc supervision
Erika Carlos Medeiros - Um Ambiente para Desenvolvimento Formal de Programas em OBJ3. 1999.
Alexandre Cabral Mota - Formalização e Análise do Saci-1 Em CSP-Z. 1997.
VIitgÃnia Adélia de Oliveira Cordeiro - De Mooz Para Eiffel:Uma Abordagem Rigorosa Para Desenvolvimento de Sistemas. 1994.