cv

education

• B.A. in Philosophy, UFSC (2024-current)
  • Pursued with a “tailor-made” Physics track
  • Emphasis in Philosophy of Physics and (Philosophical) Logic
• B.Sc. in Mathematics, UFSC (2018-2023)
  • Completed the 756-hour PAM honors track
  • Emphasis in Mathematical Physics and (Mathematical) Logic
  • Final project: “Dualidade de Stone: uma odisseia lógico-matemática” [pdf]
  • Supervisors: Prof. Luiz G. Cordeiro, Prof. Jonas R. Becker Arenhart

teaching

• Undergraduate Teaching Assistant in Fundamentals of Arithmetic, UFSC (2019-2021)
  • Funded by the UFSC undergraduate tutoring program
  • Subjects: Peano axioms, elements of Number Theory and basic proof technics

research (affiliated and funded)

• Undergraduate Research Project in Logic and Foundations of Science, UFSC (2024-current)
  • Funded by the PIBIC/CNPq undergraduate research program
  • Title (main): tba
  • Parallel study in Mathematical Physics further exploring Classical Mechanics
  • Title (math project): “Simetrias e Mecânica Clássica: as várias faces de uma teoria científica”
  • Supervisors: Prof. Jonas R. Becker Arenhart, Prof. Eliezer Batista
• Undergraduate Research Project in Logic and Foundations of Science, UFSC (2023-2024)
  • Funded by the PIBIC/CNPq undergraduate research program
  • Title: “Teorias lógicas e teorias científicas: estrutura e equivalência” [video]
  • Supervisor: Prof. Jonas R. Becker Arenhart
• Undergraduate Research Project in Logic and Foundations of Science, UFSC (2022-2023)
  • Funded by the PIBIC/CNPq undergraduate research program
  • Title: “Lógica e fundamentos de teorias científicas: a emergência de uma visão dual” [video]
  • Supervisor: Prof. Jonas R. Becker Arenhart
• Undergraduate Research Project in Logic and Foundations of Science, UFSC (2021-2022)
  • Funded by the PIBIC/CNPq undergraduate research program
  • Title (main): “A natureza das teorias científicas: uma investigação lógico-filosófica” [video]
  • Parallel study in Category Theory further exploring Stone Duality
  • Title (math project): “Teorema de Representação de Stone e aplicações”
  • Supervisors: Prof. Jonas R. Becker Arenhart, Prof. Luiz G. Cordeiro

research (affiliated but unfunded)

• Undergraduate Research Project in Operator Algebras, UFSC (2025-current)
  • Title: “Formalização da Mecânica Quântica II: o contexto quântico”
  • Supervisor: Prof. Luiz G. Cordeiro
• Undergraduate Research Project in Operator Algebras, UFSC (2022-2023)
  • Title: “Formalização da Mecânica Quântica I: o contexto clássico”
  • Supervisor: Prof. Luiz G. Cordeiro
• Undergraduate Research Project in Operator Algebras, UFSC (2020-2021)
  • Title: “O Teorema de Riesz-Markov-Kakutani e dualidade”
  • Supervisor: Prof. Luiz G. Cordeiro

other

• Reading Group on Logic and Foundations of Science, UFSC (2023-current)
  • Supervisor: Prof. Jonas R. Becker Arenhart
• Supervised Reading on General Topology, UFSC (2019-2020)
  • Supervisor: Prof. Paulo M. de Carvalho Neto
• Supervised Reading on Modal and Many-valued Logic, UFSC (2018-2019)
  • Supervisor: Prof. Jonas R. Becker Arenhart