graduation at Tecnologia em Processamento de Dados from Faculdade de Tecnologia da Baixada Santista (2008), graduation at Engenharia da Computação from Universidade Santa Cecília (2011) and master's at Ciência da Computação from Universidade Federal do ABC (2015). , acting on the following subjects: controle, lógica paraconsistente, automação, lógica paraconsistente anotada and robótica.