Instituto de Computação   Departamento de Teoria da Computação   Professores Colaboradores Voluntários   1.   Cláudio Leonardo Lucchesi, Titular.