| 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 Applied Category Theory in Oxford, UK, titled Presenting Profunctors. 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 |