Possui graduação em Engenharia Eletrônica pela Universidade de São Paulo(1966), mestrado em Computer Science pela University of Waterloo(1970), doutorado em Computer Science pela University of Waterloo(1972) e pós-doutorado pela Université Paris Diderot(1980). Atualmente é Professor aposentado da Universidade de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:propriedade das potências finitas, linguagens formais, autômatos com multiplicidades, semianel tropical.
