Papers

Publications I’ve contributed to:

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Marcos Grandury, Aleksandar Nanevski and Alexander Gryzlov
International Conference on Functional Programming (ICFP), 2025.
[pdf | appendix | arxiv | artifact]

Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post and André Videla
[arxiv]

idris-ct: A Library to do Category Theory in Idris
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post and André Videla
[arxiv]