cv
This is an academic-oriented cv. For an industry-oriented perspective, please see the pdf version.
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”
- 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”
- 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”
- 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 (2026)
- 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