Instituto de Computação   Teses de doutorado   1.   Convexidade e Proximidade em Geometrias não Euclidianas. Autor: Mário Massato Harada , Orientador: PEDRO JUSSIEU DE REZENDE. Data da defesa: 17/11/2000.   2.   Design da Interação em Ambientes Virtuais: Uma Abordagem Semiótica. Autor: Osvaldo Luiz de Oliveira , Orientador: MARIA CECILIA CALANI BARANAUSKAS. Data da defesa: 08/05/2000.   3.   Implementação Eficiente em Software de Criptossistemas de Curvas Elípticas. Autor: Julio César López Hernández , Orientador: RICARDO DAHAB. Data da defesa: 28/04/2000.   4.   Compressão de Programas usando Árvores de Expressão. Autor: Paulo Cesar Centoducatte , Orientador: MARIO LUCIO CORTES. Co-Orientador(es): GUIDO COSTA SOUZA DE ARAUJO. Data da defesa: 14/02/2000.