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

Research

My academic interests lie primarily in Logic and its applications to computer science.

Publications & Preprints

• 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
  • Submitted (March 2026)

Events and Talks

• 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”

Projects

• 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

Event Organization

• 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

• 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

Education

• 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