Possui graduação em Engenharia Eletrônica pela Pontifícia Universidade Católica do Rio de Janeiro (1974), mestrado em Engenharia Elétrica (Sistemas Digitais) pela Pontifícia Universidade Católica do Rio de Janeiro (1977) e doutorado em Eng Elétrica (Sistemas de Computação) pela University of Manchester Institute of Science and Technology (1983). Foi professor Titular do Instituto de Computação da Universidade Federal Fluminense (IC-UFF), e foi um dos coordenadores do Laboratório Tempo. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação, tendo atuado principalmente nos seguintes temas: sistemas de tempo real, sistemas embarcados, economia de energia em sistemas computacionais, computação verde e computação móvel. É sócio-fundador da Sociedade Brasileira de Computação, e foi Coordenador da Comissão de Redes e Sistemas Distribuídos dessa Sociedade, em 2001-2002. Foi pesquisador visitante na Universidade de Pittsburgh, EUA, em 2009-2010, e membro do Editorial Board do Journal of Systems and Software.
graduate at Engenharia Eletrônica from Pontifícia Universidade Católica do Rio de Janeiro (1974), master's at Electric Engineering from Pontifícia Universidade Católica do Rio de Janeiro (1977) and ph.d. at Eng Elétrica - Sistemas de Computação from University Of Manchester Institute Of Science And Technology (1983). Has experience in Computer Science, focusing on Telecomputing, acting on the following subjects: sistemas distribuídos, computação em tempo real, economia de energia, tolerância a falhas and escalonamento de tarefas.