PUC-Rio - Departamento de Informática