Prêmios e Distinções | 1990

• 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.