Rodrigo Stefanes

Hello there!

My name is Rodrigo Stefanes. I am currently completing my Bachelor's degree in Mathematics at the Universidade Federal de Santa Catarina (UFSC) in Brazil.

rodrigoamstefanes [at] gmail [dot] com

Intrinsic and relative characterization results for logics with negative modalities
- Jim de Groot, João Marcos, Rodrigo Stefanes
- Submitted (December 2025)
- Available on arXiv
Combinatorial ranking algorithms for the general linear group
- Gustavo Zambonin, Larissa Rosa, Tiago Siqueira, Rodrigo Stefanes, Ricardo Custódio, Daniel Panario
- Accepted to the 17th Latin American Theoretical Informatics Symposium
Intuitionistic K is a bisimulation-invariant fragment of first order intuitionistic logic
- Jim de Groot, João Marcos, Rodrigo Stefanes
- Accepted to Advances in Modal Logic 2026

Bern Logic Seminar (Sep 2025)
- University of Bern, Bern, Switzerland
- Presented the talk: Characterizing the expressiveness of inconsistency-tolerant modal logics
Logic Summer School (Dec 2023)
- Australian National University (ANU), Canberra, Australia
- Attended the school as a participant
Autumn school “Proof and Computation” (Sep 2025)
- Herrsching, Germany
- Attended the school as a participant
XXI Brazilian Logic Conference(EBL) (May 2025)
- Serra Negra, Brazil
- Presented the talk: “Simulating a Smile”
14th Principia International Symposium (July 2025)
- Florianópolis, Brazil
- Presented the talk: “Characterizing the Expressiveness of Logics of Formal Inconsistency”

Internship at LabSEC
- 01 August 2025 - 31 January 2026
Undergraduate Research Project
- Topic: Model theory of restoration operators
- Funded by the PIBIC/CNPq fellowship program
- Advisor: João Marcos
- 1 August 2025 - 31 August 2026
Undergraduate Research Project
- Topic: Functional Analysis
- Funded by the PIBIC/CNPq fellowship program
- Advisor: Paulo Mendes de Carvalho Neto
- 1 September 2023 - 31 August 2024
Undergraduate Research Project
- Topic: Banach-Tarski paradox
- Advisor: Luiz Gustavo Cordeiro
- 1 September 2023 - 31 August 2024

1st WITCH — Workshop on Interdisciplinary Topics in Consequence and Hypothetical reasoning (July 2025)
- Co-organizer
- Held at UFSC, Florianópolis
- Event Website
2nd WITCH — Workshop on Interdisciplinary Topics in Consequence and Hypothetical reasoning (November 2025)
- Co-organizer
- Held at UFSC, Florianópolis
- Event Website

Teaching Assistant - Logic I (First Semester 2025)
- Subject: Propositional Logic
- Supervisor: João Marcos
Teaching Assistant - Logic II (Second Semester 2024)
- Subject: First Order Logic
- Supervisor: João Marcos

B.Sc. in Mathematics (Expected 2026)
- Universidade Federal de Santa Catarina (UFSC)
Advanced mathematics program (PAM)
- A 756-hour honors program in mathematics
XXV Summer School
- Completed a 108-hour graduate-level course on Functional Analysis