Doutor, Mestre e Bacharel em Ciência da Computação pela Universidade Federal de Campina Grande, com experiência nas áreas Computação na Nuvem, Analytics, Grades Computacionais e Métodos Formais.
graduation at Ciência da Computação from Universidade Federal de Campina Grande (2010), master's at Computer Science from Universidade Federal de Campina Grande (2013) and doctorate at Computer Science from Universidade Federal de Campina Grande (2017). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: verificação funcional, metodologia verisc and redes de petri coloridas.