| Aluno | Título da tese | Orientador | Data da defesa |
| Eduardo Fernandes Barbosa | Métodos Eficientes de Busca em Texto Armazenado em Memória Secundária | Nivio Ziviani | 07/08/1995 |
| Frederico Rodrigues Borges da Cruz | Algoritmos para Problemas de Planejamento de Redes | Geraldo Robson Mateus | 04/02/1997 |
| Lucília Camarão de Figueiredo | Calculus: Um Modelo para Não-Determinismo em Linguagens Reflexíveis | Edward Hermann Haeusler | 23/06/1997 |
| Dilmar Malheiros Meira | Um Modelo para Correlação de Alarmes em Redes de Telecomunicações | José Marcos Silva Nogueira | 13/11/1997 |
| Carlos de Castro Goulart | Um Esquema de Alocação Dinâmica de Recursos para Garantir QoS para Aplicações Multimídia em Redes | José Marcos Silva Nogueira | 16/04/1998 |
| Marcos Carneiro de Andrade | Um Método Topológico de Segmentação de Imagens por Atributos | Arnaldo de Albuquerque Araújo | 29/05/1998 |
| Cedric Luiz de Carvalho | Inferência de Tipos e de Fluxos de Dados para Sistemas de Programação em Lógica | Antônio Eduardo Costa Pereira | 24/05/1999 |
| Cristina Duarte Murta | Modelo de Particionamento de Espaço para Caches da World Wide Web | Virgílio Augusto Fernandes Almeida | 23/08/1999 |
| Marcelo de Almeida Maia | Especificação Formal da Interação de Componentes de Sistemas Computacionais | Roberto da Silva Bigonha | 27/08/1999 |
| Alexei Manso Corrêa Machado | Modelos Probabilísticos para Registro de Imagens | Mario Fernando Montenegro Campos | 13/09/1999 |
| Edleno Silva de Moura | Aplicações de Compressão de Dados a Sistemas de Recuperação de Informação | Nivio Ziviani | 04/10/1999 |
| Ilmério Reis da Silva | Redes Bayesianas para Sistemas de Recuperação de Informação | Berthier Ribeiro de Araújo Neto | 03/07/2000 |
| Luciano Romero Soares de Lima | Categorização Automática de Documentos Médicos | Alberto Henrique Frade Laender | 18/07/2000 |
| Renato Moreira Hadad | Identificação de Padrões em Imagens de Satélite – Formas Circulares | Arnaldo de Albuquerque Araújo | 20/09/2000 |
| Clodoveu Augusto Davis Júnior | Múltiplas Representações em Sistemas de Informação Geográficos | Alberto Henrique Frade Laender | 22/09/2000 |
