Professor do Instituto de Computação da Universidade Estadual de Campinas (Unicamp) e integrante do Departamento de Sistemas de Computação (DSC).