Professor Emérito da Universidade Federal do Rio de Janeiro, atuando no Programa de Engenharia de Sistemas e Computação da COPPE, Instituto de Matemática e Núcleo de Computação Eletrônica. Trabalha em Ciência da Computação, com ênfase em algoritmos, estruturas de dados, teoria de grafos e otimização combinatória. É Pesquisador 1-A do CNPq.