Has a degree in Electrical Engineering - Major in Electronics - from University of São Paulo (1968), M. Math in Computer Science from University of Waterloo (1971) and Ph. D. in Computer Science from University of Waterloo (1976). Has experience in Computer Science, focusing on Analysis of Algorithms and Computational Complexity, with interest in the following subjects: complexity of algorithms, graph theory, finite automata and matching covered graphs.
Possui graduação em Engenharia de Eletricidade - Modalidade Eletrônica pela Escola Politécnica da Universidade de São Paulo (1968), mestrado em Computer Science - University of Waterloo, Canadá (1971) e doutorado em Computer Science - University of Waterloo (1976). Foi membro do CA-CC do CNPq e Coordenador de Área na FAPESP, e foi membro dos Conselhos da SBM - Sociedade Brasileira de Matemática e da SBC - Sociedade Brasileira de Computação. É Professor Emérito da Unicamp e membro da Ordem do Mérito Científico e Tecnológico no grau de Comendador. Detem também o Prêmio Santista em Informática. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Complexidade de Computação, atuando principalmente nos seguintes temas: complexidade de algoritmos, teoria dos grafos, grafos cobertos por emparelhamentos, matching theory e autômatos finitos. Desde agosto de 2022 é Professor Colaborador no Departamento de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo - MAC-IME-USP, em São Paulo, SP