Gabriel Goren-Roig
Hi there! I’m Gabo, a PhD student in Mathematics at Universidad de Buenos Aires in Buenos Aires, Argentina, working at the intersection between Category Theory, Logic and Computer Science.
I am part of the Logic, Language and Computability Research Group (GLyC). My advisor is Santiago Figueira. My research is funded by CONICET, Argentina’s National Research Council.
You can find my list of publications here.
News
| Oct 05, 2026 | (Updates coming soon!) |
|---|---|
| Jun 21, 2025 | In the past few weeks I have given two talks on the topic of what I am calling arboreal coreflections, one at the Applied Category Theory (ACT) 2025 conference in Gainesville, Florida, USA; and another at the Foundational Methods in Computer Science (FMCS) 2025 Workshop in Ottawa, Canada. |
| Dec 31, 2024 | Another year in my PhD adventure has gone by. As part of my PhD coursework, in 2024 I have taken the following classes: Differential Topology, Homological Algebra and Algebraic Geometry. |
Talks
| Sep 2026 | Adjunciones arbóreas para generalizaciones de la lógica modal básica — I Encuentro Conjunto SBM–UMA 2026, Mar del Plata, Argentina. |
|---|---|
| Aug 2026 | Arboreal Adjunctions from Shapes — Semantics and Compositionality for Expressiveness and Complexity (ESSLLI 2026 Workshop), Prague, Czech Republic. |
| Jul 2026 | Arboreal Categories from Shapes — Topology, Algebra and Categories in Logic (TACL) 2026, Kraków, Poland. |
| Jul 2026 | Arboreal Adjunctions from Shapes — Structure Meets Power Workshop, FLoC 2026, Lisbon, Portugal (remote). |
| May 2026 | Arboreal Adjunctions from Shapes — III Encontro Brasileiro em Teoria das Categorias, UFJF, Juiz de Fora, Brazil (remote). [recording] |
| Apr 2026 | Arboreal Adjunctions from Shapes — New York Category Theory Seminar, online. [recording] |
| Aug 2025 | poster Arboreal Coreflections — Escuela de Ciencias Informáticas (ECI) 2025, Buenos Aires, Argentina. |
| Jul 2025 | Arboreal Coreflections — Topos Institute Seminar, Berkeley, California, USA. [recording] |
| Jun 2025 | Idempotent Arboreal Covers — Foundational Methods in Computer Science (FMCS) 2025, Ottawa, Canada. |
| Jun 2025 | Idempotent Arboreal Covers — Applied Category Theory (ACT) 2025, Gainesville, Florida, USA. [slides] |
| Aug 2024 | poster Presentaciones de profunctores para bases de datos (Profunctor Presentations for Databases) — Escuela de Ciencias Informáticas (ECI) 2024, Buenos Aires, Argentina. |
| Jul 2024 | Generalised Unions of Conjunctive Queries in the Algebraic Data Model — Topology, Algebra and Categories in Logic (TACL) 2024, Barcelona, Spain. |
| Jun 2024 | Presenting Profunctors — Applied Category Theory (ACT) 2024, Oxford, UK. [recording] |
| Jul 2022 | poster Juegos, indistinguibilidad y comónadas (Games, Indistinguishability and Comonads) — Escuela de Ciencias Informáticas (ECI) 2022, Buenos Aires, Argentina. [poster] |
| Jul 2022 | Path Predicate Modal Logic and its Comonadic Semantics — Structure Meets Power Workshop, ICALP 2022. [slides] |
| Jun 2021 | Stochastic Game Logic, Coalgebraically — Applied Category Theory (ACT) 2021, Cambridge, UK (remote). [recording] |
| Aug 2019 | Inferring Finite State Machines from Time Series — Santa Fe Institute REU Public Talks, Santa Fe, New Mexico, USA. [recording] |