Research & Publications

Research Interests

My main research interests lie in higher category theory and higher topos theory. I am also deeply fascinated by formal category theory — I am excited by every opportunity to push categorical methods into new territory.

Publications

• Bicategories of automata, automata in bicategories, Electronic Proceedings in Theoretical Computer Science, 2023.
  Joint with: Guido Boccali, Andrea Laretto, Fosco Loregian
• Completeness for Categories of Generalized Automata, Leibniz International Proceedings in Informatics (LIPIcs), 2023.
  Joint with: Guido Boccali, Andrea Laretto, Fosco Loregian

Preprints

• The Morita (∞,2)-category of a monoidal category as a 2-complicial set, 2025.
  Joint with: Arghan Dutta, Martina Rovelli, Sam Silver
• The semibicategory of moore automata, 2023.
  Joint with: Guido Boccali, Andrea Laretto, Fosco Loregian