Possui graduação em Tecnologia Em Processamento de Dados pela Universidade de Brasília (1979), Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1985) e Doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2002).

Áreas de pesquisa ou interesse:

Professor da Universidade Federal de Uberlândia, tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Workflow, Verificação de Modelos (Symbolic Model Checking), Software Livre. Também tem interesse em problemas de escalonamento (Scheduling) e Engenharia de Software: Verificação Formal de Programas em C.