Departamento de Ciência da Computação Instituto de Matemática e Estatística Universidade de São Paulo