I am a postdoctoral researcher at the University of Pisa, working with Filippo Bonchi.
Until November 2023, I was a PhD student in the Compositional Systems and Methods group at Tallinn University of Technology under the supervision of Paweł Sobociński.
I am interested in categorical probability.
I have worked on a partial version of Markov categories and stochastic dataflow.
I have worked on monoidal width, a measure of computational complexity for morphisms in monoidal categories.
This general framework captures path width, tree width and branch width, and rank width.
These are the slides of my most complete presentation of this work.
Publications
- Monoidal Width, LMCS, Volume 19, Issue 3
EDL and Paweł Sobociński
[arXiv]
- Evidential Decision Theory via Partial Markov Categories, LiCS 2023
EDL and Mario Román
[arXiv] [Slides]
- Span(Graph): a Canonical Feedback Algebra of Open Transition Systems, Software and Systems Modeling
EDL, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Paweł Sobociński
[arXiv]
- Monoidal Width: Capturing Rank Width, ACT 2022
EDL and Paweł Sobociński
[arXiv] [Slides]
- Monoidal Streams for Dataflow Programming, LiCS 2022
EDL, Giovanni de Felice and Mario Román
[arXiv]
- Compositional modelling of network games, 2021, CSL 2021
EDL, Jules Hedges and Paweł Sobociński
[arXiv] [Slides]
- A canonical algebra of open transition systems, FACS 2021
EDL, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński
[arXiv]
- Functorial language games for question answering, ACT 2021
Giovanni de Felice, EDL, Mario Román, Alexis Toumi
[arXiv]
Preprints
- Filippo Bonchi, EDL and Mario Román, Effectful Trace Semantics via Effectful Streams
- EDL, Giovanni de Felice and Mario Román, Coinductive Streams in Monoidal Categories, arXiv preprint 2022.
- EDL and Paweł Sobociński, Monoidal Width: Unifying Tree width, Path Width and Branch Width, arXiv preprint 2022.
- EDL, Wilmer Leal, Valeria de Paiva, Dialectica Petri nets, arXiv preprint 2021.
Academic service
Talks
Events
Notes
Education
- November 2019 - November 2023: PhD at Tallinn University of Technology under the supervision of Paweł Sobociński.
- September 2018 - September 2019: MSc in Mathematics and Foundations of Computer Science at the University of Oxford, where I learned category theory.
- September 2017 - September 2018: BSc in Mathematics at Università di Pisa, where I studied some pure math.
- September 2014 - July 2017: BSc in Mathematical Engineering at Politecnico di Milano, where I studied the mathematics that is useful for engineering and some basics of engineering.
My CV