| 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. |
| Nov 28, 2024 | Good news: our paper Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics has been accepted into JLC. |
| Jul 04, 2024 | I gave a talk at Topology, Algebra and Categories in Logic in Barcelona, Spain, titled Generalised Unions of Conjunctive Queries in the Algebraic Data Model. abstract pdf |
| Jun 28, 2024 | This week I attended the TACL 2024 Summer School, including tutorials on quantum contextuality by Samson Abramsky, categorical automata theory by Daniela Petrisan and the theory of polymorphisms for constraint satisfaction problems by Michael Pinsker. |
| Jun 17, 2024 | I gave a talk at the Applied Category Theory (ACT) 2024 conference in Oxford, UK, titled Presenting Profunctors. Here is the recording: recording |
| May 04, 2024 | Our paper Presenting Profunctors has been accepted to ACT 2024. This means it will be published in the Proceedings and I will give a talk about it! This is joint work with Emilio Minichiello and Joshua Meyers. |
| Jul 28, 2023 | This week I took an intensive course titled Algorithmic aspects of minor-closed graphs by Ignasi Sau. |
| Jul 08, 2023 | This semester I took Algebraic Topology towards the fulfillment of my PhD coursework. |
| Mar 28, 2023 | Gave a flash talk on the concept of comonads at the local event Día del ICC (one-day internal workshop of the Computer Science Institute). |
| Jul 04, 2022 | I gave a talk at the Structure Meets Power Workshop at ICALP 2022, titled Path Predicate Modal Logic and its Comonadic Semantics. slides |
| Jun 02, 2021 | I gave a remote talk at Applied Category Theory 2021 in Cambridge, UK, titled Stochastic game logic, coalgebraically. recording |
| Feb 10, 2021 | Excellent news: I have been selected for participation in this year’s Applied Category Theory Adjoint School! |
| Aug 07, 2019 | I gave a talk at the Santa Fe Institute in Santa Fe, New Mexico, USA, in the context of the REU program. Title: Inferring Finite State Machines from Time Series. recording |