João Batista de Souza Neto

João has a degree in Systems Analysis and Development from Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (2012), a master's degree in Systems and Computing from Universidade Federal do Rio Grande do Norte (2015) and a doctorate in Computer Science from the same institution (2020). Currently, he works as a Scala developer at Oystr - Robôs Inteligentes. He has experience in Computer Science, with emphasis on Software Engineering, working mainly on the following topics: Systems Analysis and Development, Software Testing, Formal Methods and Big Data.

João possui graduação em Análise e Desenvolvimento de Sistemas pelo Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (2012), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2015) e doutorado em Ciência da Computação pela mesma instituição (2020). Atualmente, trabalha como desenvolvedor Scala na Oystr - Robôs Inteligentes. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Análise e Desenvolvimento de Sistemas, Teste de Software, Métodos Formais e Big Data.