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 Semigroup theory Category theory Topos theory

Links

profiles & identifiers

ORCID arXiv (author)

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 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.

Updates

New preprint on monoidal rewriting systems

Jan 2026 - “Rewriting Systems on Arbitrary Monoids” (arXiv:2601.10564)

Preprint on definably compact semigroups in o-minimal structures

Jul 2025 - “On Definably Compact Semigroups in o-Minimal Structures” (arXiv:2507.19162)

Education

MSc in Mathematics - Faculty of Sciences, University of 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).

Thesis (PDF) Slides (PDF)

BSc in Mathematics - Faculty of Sciences, University of Porto (FCUP)

Sep 2020 – Jun 2023

Teaching

Adjunct Assistant Professor - FCUP, University of Porto

Sep 2025 – present

Linear Algebra
Abstract Algebra
Real Analysis II

Organizer & lecturer - mini-course on Category theory

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

Slides (PDF)

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

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

Slides (PDF)

(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

“Definable semigroups in O-minimal Structures”

Mathematical Logic Seminar, CEMS.UL (Faculty of Sciences, University of Lisbon) • 13 May 2025

“Semigroups Definable in O-minimal Structures”

18th Young Research Meeting of the University of Porto (IJUP) • 9 May 2025

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