Publications Talks Teaching

Eduardo Magalhães

Adjunct Assistant Professor, Department of Mathematics (FCUP), University of Porto

Porto, Portugal

email eduardomag79 at gmail dot com cv PDF
Model theory Geometric Logic Category theory Topos theory

Links

profiles & identifiers

Research Interests

I am particularly interested in logic, category theory, algebra and especially in the ways these areas interact with one another. I am motivated by understanding how similar mathematical phenomena can be approached using different formal frameworks, and in comparing the perspectives these frameworks provide.
  • In logic, I am especially drawn geometric logic and to model theory, both in its classical form and in categorical approaches.
  • Within category theory, I am most interested in its connections with logic, in particular through topos-theoretic ideas.

Education

MSc in Mathematics - Faculdade de Ciências, Universidade do Porto (FCUP)

Sep 2023 – Jun 2025

Thesis: Definable Semigroups in o-minimal Structures
Supervised by Dr. Mário Edmundo (FCUL) and Dr. Jorge Almeida (FCUP).

BSc in Mathematics - Faculdade de Ciências, Universidade do Porto (FCUP)

Sep 2020 – Jun 2023

Academic Positions and Affiliations

Associate Member - Centro de Matemática da Universidade do Porto (CMUP)

May 2026 – present

Adjunct Assistant Professor - Faculdade de Ciências, Universidade do Porto (FCUP)

Sep 2025 – present

Linear Algebra, Abstract Algebra and Real Analysis II

Teaching and Outreach

Organizer & lecturer - mini-course on Category theory

Mathematics Students’ Association (FCUP) • Mar 2026 – Jun 2026

Organizer & lecturer - mini-course on Mathematical Logic and Applications

Mathematics Students’ Association (FCUP) • May 2025 – Jun 2025

(Note: the slides are in Portuguese)

Publications & Preprints

full list
arXiv

Rewriting Systems on Arbitrary Monoids

Eduardo Magalhães • 2026 • Preprint

arXiv

On Definably Compact Semigroups in o-Minimal Structures

Eduardo Magalhães • 2025 • Preprint

Talks and Presentations

Accepted Speaker, TACL 2026

Topology, Algebra, and Categories in Logic • Jul 2026

“Rewriting Systems on Arbitrary Monoids”

Speaker, Mathematical Logic Seminar

CEMS.UL (Faculty of Sciences, University of Lisbon) • May 2025

“Definable semigroups in O-minimal Structures”

Presenter, 18th Young Research Meeting of the University of Porto (IJUP)

May 2025

“Semigroups Definable in O-minimal Structures”

Awards

Best Oral Communication

IJUP (University of Porto) • 2025

Awarded for the presentation “Semigroups Definable in O-minimal Structures”.

Other experience

Student activities

Director, Educational Department - Mathematics Students’ Association (FCUP)

Student internship - Contributions to Research in Science Teaching and Dissemination

FCUP • Feb 2022 – Jun 2023