Bruno Francisco Xavier

Graduado em ENGENHARIA DE COMPUTAÇÃO pela UFRN (2013) e posteriormente, concluiu o mestrado em MATEMÁTICA (2017) e doutorado em CIÊNCIAS DA COMPUTAÇÃO (2023) na mesma instituição. Possui sólida vivência na intersecção entre Matemática e Computação, evidenciada por sua experiência acadêmica. Meu atual foco reside na exploração de soluções matemáticas, aplicação de métodos formais e investigações em lógica.

Has experience in Mathematics, focusing on Mathematics