About Me

I am a PhD Student of Computer Science in the joint PhD Program of Minho, Aveiro and Porto. I hold a BSc in Mathematics with a Minor in Physics from the University of Aveiro and have completed a BIP in Applied Topology at the University of Linköping.

My academic background includes research fellowships at CIDMA (Center for Research and Development in Mathematics and Applications) focusing on mathematical logics and differential equations.

Research Interests

• Formal Methods
• Category Theory
• Program Logic (including modal, epistemic, paraconsistent, fuzzy, and quantum logics)

Education

• PhD in Computer Science, University of Minho, Aveiro and Porto (2026-current)
• BSc in Mathematics, Minor in Physics, University of Aveiro (2022–2025)
  • Final Project: Gyrogroups (Advisor: António Breda D’Azevedo)
• BIP in Applied Topology, University of Linköping (2024)
  • Project: Identifying Extreme Events in the Stock Market (Advisor: Milagros Izquierdo)

Grants & Research Experience

• Research Fellow, University of Aveiro, CIDMA (2025)
  • Research Initiation Grant in Logics supervised by Alexandre Madeira and Manuel Martins. Focused on Python libraries for lattice modeling, Many-Logics Modal Logic models, and developing a logic interpreter.
• Research Fellow, University of Aveiro, CIDMA (2024)
  • Research Initiation Grant in Differential Equations supervised by Maria Manuela Rodrigues. Focused on the study and analysis of symmetries of differential equations, specifically the Helmholtz equation.

Computing & Languages

• Programming Languages: Python, SQL
• Tools: LaTeX
• Languages: Portuguese (Native), English (Fluent), German (Intermediate)