Membro da Academia de Ciências do Estado de São Paulo, foi um dos pioneiros no ensino e pesquisa em Ciência da Computação no Brasil, área em que atua desde 1964. Formou-se em Engenharia Eletrônica no Instituto Tecnológico de Aeronáutica (ITA) e doutorou-se na Universidade de São Paulo (USP), onde é Professor Titular Sênior do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da USP (IME). Foi professor visitante nas Universidades do Texas em Austin, Estados Unidos, e de Stuttgart, na Alemanha. Exerceu vários cargos de direção na USP, tendo sido o fundador e diretor do antigo Centro de Computação Eletrônica (CCE) da USP, do Centro de Ensino de Computação do IME e introdutor do projeto Embaixadores da Matemática do IME. Tem 13 livros técnicos e educacionais publicados no Brasil e no exterior. Foi consultor de várias empresas, entre elas o Serpro, Prodesp, Promon, IPT e PCA Engenharia de Software. Tem proferido inúmeras palestras sobre temas técnicos, educacionais e filosóficos.
