Departamento de Teoría de la Computación