Possui graduação em Ciência da Computação pelo Centro Universitário de Formiga (2003), pós graduação em Redes de Computadores pelo Centro Universitário do Sul de Minas (2004), mestrado em Modelagem Matemática e Computacional pelo CEFET-MG (2008) e doutorado em Ciência da Computação pela UFMG (2016). Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, Linguagens de Programação e Engenharia de Software. Atualmente é professor efetivo do Instituto Federal de de Minas Gerais – (IFMG – Campus Formiga).
