Instituto de Computação   Departamento de Teoria da Computação   Professores Colaboradores Voluntários   1.   Cláudio Leonardo Lucchesi, Doutor, lucchesi@ic.unicamp.br.