juca’s homepage

I’m an aspiring mathematical philosopher focused on Logic, Philosophy of Science and Physics, i.e., I’m interested in addressing foundational and applied problems that emerge from these areas by employing both mathematical and philosophical methods; this approach is often referred to as Mathematical Philosophy.

The guiding thread of my research is the study of equivalences and dualities: how different things can be understood as the same. Manifesting in Mathematics through relations between algebras and spaces, its relevance extends across a broad spectrum — from the foundations of Logic and Quantum Physics to the frontiers of Linguistics and Artificial Intelligence.

Currently, under the supervision of Prof. Jonas R. Becker Arenhart in the Research Group in Logic and Foundations of Science, I’m studying the equivalence of physical theories and its relation to the broader syntax-semantics debate about the nature of scientific theories.

In 2026, I’ll begin my master’s degree to continue my research on physical theories. Alongside my academic goals for next year, I’m also open to part-time, remote opportunities. My curriculum can be found here. If my profile aligns with the needs of your team or projects, please feel free to contact me.

technical skills

My technical proficiency includes:

• Theoretical: Category Theory, Functional Analysis, Probability Theory;
• Coding: (entry-level) Python, (entry-level) JavaScript, HTML/CSS, LaTeX;
• Computational: Quantum Computing, (entry-level) Machine Learning.

research interests

My research interests lie in the following topics:

• Foundations of Physics: logico-philosophical investigations of physical theories;
• Philosophy of Science: syntax-semantics debate, equivalence of scientific theories;
• Operator Algebras: Stone-type dualities and other algebro-geometric dualities;
• Artificial Intelligence: tba.

short cv

My education trajectory until now is:

• 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

And here are some of my current academic/professional activities:

• 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
• Reading Group in Logic and Foundations of Science, UFSC (2023-current)
  • Supervisor: Prof. Jonas R. Becker Arenhart