Possui mestrado em Engenharia de Computação pela Escola Politécnica da Universidade de São Paulo (1990) na área de Arquitetura de Redes de Computadores e doutorado em Engenharia de Computação por um acordo de cooperação internacional entre Escola Politécnica da Universidade de São Paulo e o Centre National de la Recherche Scientifique (CNRS-France 1995) na área de sistemas distribuídos no Laboratoire d'Analyse et d'Architecture des Systemes (LAAS)/Toulouse.

Atualmente é professor titular da Universidade Federal de Uberlândia na Faculdade de Computação.

Áreas de pesquisa ou interesse:

Tem experiência nas áreas de Ciência e Engenharia da Computação, com ênfase em Projeto e Validação de Protocolos para Computadores, atuando principalmente nos seguintes temas: Telecomunicação (VoIP e NGN), Segurança, Autômatos, Web Services, Protocolos, CMMI e Concurrent Engineering (CSCW).