Dan's webpage


Hi! I'm Daniele, a Mathematics and Computer Science researcher from Italy.
Currently I'm working for 20[ ], CyberCat Institute and CARMA.
You can also find me on: [github] [arXiv] [ORCiD].
My email address is [name]++[surname]++[@protonmail.com].


[papers]

> The Essence of Petri Net Gluings
w/ Fabrizio Genovese & Fosco Loregian[arXiv:1909.03518]
Conditionally accepted at TAC

> Classifying topoi in synthetic guarded domain theory
w/ Jonathan Sterling[arXiv:2210.04636]
MFPS2022

> Escrows are optics
w/ Fabrizio Genovese & Fosco Loregian[arXiv:2105.10028]
JFT

> A Categorical Semantics for Bounded Petri Nets
w/ Fabrizio Genovese & Fosco Loregian[arXiv:2101.09100]
ACT2021

> A Categorical Semantics for Hierarchical Petri Nets
w/ Fabrizio Genovese, Jelle Herold & Fosco Loregian[arXiv:2102.00096]
GCM2021

> Nets with Mana: A Framework for Chemical Reaction Modelling
w/ Fabrizio Genovese & Fosco Loregian[arXiv:2101.06234]
ICGT2021


[misc]

I volunteer for Progetto ItaCa.