Sou técnico em eletrônica pela antiga ETFPE (1999) e Bacharel em Ciência da Computação (na UFPE, 2006). Me especializei na área de métodos formais e engenharia de sistemas com a análise a partir de diagramas (Mestrado em Ciência da Computação na UFPE, 2012) e mais voltado a métodos formais (Doutorado em Ciência da Computação na UFPE, em andamento).
Atualmente sou professor substituto na UFPE, tendo iniciado as atividades de ensino em março de 2015.
Veja meu Currículo Lattes em: http://lattes.cnpq.br/1970720714642767