I am researcher in Philosophy and Mathematical Logic, working as a Collaborating Researcher at University of Campinas (Unicamp).

My research focuses on Formal Epistemology, with particular emphasis on Theory Dynamics and Non-Classical Logics. By combining these areas, I originally developed Paraconsistent Systems designed to interpret paraconsistency through the epistemic attitudes of rational agents, while also opening the possibility of addressing some impossibility results and paradoxes in Knowledge Representation and Reasoning. I am also interested in Education and the Popularization of Logic and Philosophy, as well as in science communication more broadly – some recent projects can be found here.

Here you can explore my research, teaching, and service works, including outreach activities.

Resumé

Bachelor (2006), Master (2008, funded by CAPES) and PhD (2014, funded by CNPq) in Philosophy (Logic Area) at University of Campinas (Unicamp). Complementary qualifications in Education, including a Lato Sensu postgraduate diploma in Inclusive Special Education (Senac, 2024) and a Teaching Degree in Pedagogy (UAM, 2025).

Research Experience

Current Positions

  • Collaborating Researcher at Unicamp, Brazil (2020 to present).

Project Coordination

  • LogLibras – Funded by National Council for Scientific and Technological Development (CNPq). 420284/2022-2.

Curricula and Profiles

Outside Academia

Contact

Centro de Lógica, Epistemologia e História da Ciência – Rua Sérgio Buarque de Holanda, 251 – Cidade Universitária, Campinas – SP, Brazil. zip code: 13083-859