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