Professor Titular (1994), Pós-Doutorado em Lógica Aplicada à Ciência da Computação pelo Centro de Lógica, Epistemologia e História da Ciência, UNICAMP (1993), doutor e mestre em Ciência da Computação pelo Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse III, França (1992), especialização em Ciência da Computação pelo Instituto de Ciência da Comutação, UNICAMP (1988), fez Filosofia pela Pontifícia Universidade Católica de Campinas, PUCCAMP (1984), formou-se em Eletrônica pelo Centro Federal de Educação Tecnológica de Minas Gerais, CEFET-MG.