MSc supervision
Manuela de Almeida Xavier - Definição e Implementação do Sistema de Tipos da Linguagem Circus. 2006.
Gustavo Fonseca Limaverde Cabral - Formal Specification Generation from Requirement Documents. 2006.
Rodrigo Teixeira Ramos - Desenvolvimento Rigoroso com UML-RT. 2005.
Robson Godoi de Albuquerque Maranhão - Uma Disciplina de Análise e Projeto para Aplicações Concorrentes Baseada no RUP. 2005.
Walter Miranda Mesqita Neto - Uma Estratégia para Composição Formal de Frameworks. 2004.
Antônio Augusto Rodrigues de Albuquerque Maranhão - Design de uma Linguagem Multiparadigma Modular para o Ensino de Conceitos de Programação. 2004.
Adalberto Cajueiro de Farias - Efficient Analysis of CSP-Z Specifications. 2003.