Possui graduação em Bacharelado em Informática pela Universidade Federal de Viçosa (1990), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (1994) e doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2001), com período de visita (doutorado sanduíche) na University of Copenhagen. Atualmente é Professor Associado e Diretor de Relações Internacionais da Universidade Federal de Viçosa . Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação. Seu interesse atual se concentra em compiladores e linguagens extensíveis.
graduate at Bacharelado Em Informática from Universidade Federal de Viçosa (1990), master's at Computer Science from Universidade Federal de Minas Gerais (1994) and ph.d. at Computer Science from Universidade Federal de Minas Gerais (2001). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: eis, abstract state machines, programação por demonstração, avaliação parcial and inteligência artificial.