| Oct 05, 2026 | (Updates coming soon!) |
| Oct 07, 2025 | I gave a talk on Stokes’ theorem as the final exam, to fulfill the requirements of my differential geometry class. |
| 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 took 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 for publication in 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 |
| May 04, 2024 | Our paper Presenting Profunctors has been accepted at 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 as part 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 | I was selected to participate 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 |