é matemático, lógico e filósofo. Professor de lógica na Unicamp (Universidade Estadual de Campinas), onde foi bacharel mestre e doutor, em 1984, orientado por Newton da Costa. Pós-doutorado na Universidade da Califórnia em Berkeley.
