Terceiro lugar na Categoria Dissertação de Mestrado, Concurso Nacional de Teses e Dissertações da SBC, 1990. Ana Teresa de Castro Martins, Orientadores: José V. Castilho e Antônio Carlos da Rocha, Um sistema de revisão de crenças para resolução de problemas.
1º lugar concedido a Martin Hötzel Escardó, orientado pelo Prof. Antonio Carlos da Rocha Costa, pelo trabalho “Sistema de tipos PROLOG”. Concurso Nacional de Iniciação Científica e Trabalho de Diplomação SBC, 1991.
IFIP Award, International Federation for Information Processing. Liane Tarouco.