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.
Publications
- Strong Induction is an up-to Technique, to appear in CSL 2025
Filippo Bonchi, EDL and Anna Ricci
- A Coalgebraic Model of Quantum Bisimulation, to appear in ACT 2024
Lorenzo Ceragioli, EDL, Giuseppe Lormurno and Gabriele Tedeschi
- Categorical Foundation of Explainable AI: A Unifying Theory, xAI 2024
Francesco Giannini, Stefano Fioravanti, Pietro Barbiero, Alberto Tonda, Pietro Liò, and EDL
- 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
- EDL, Bart Jacobs and Mario Román, A Simple Formal Language for Probabilistic Decision Problems, arXiv preprint 2024.
- Filippo Bonchi, EDL and Mario Román, Effectful Mealy Machines: Bisimulation and Trace arXiv preprint 2024.
- 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
CV summary
- January 2024 - present: postdoctoral researcher at the Computer Science Department, Università di Pisa, with Filippo Bonchi.
- 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