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 semibicategory of moore automata, 2023.
  Joint with: Guido Boccali, Andrea Laretto, Fosco Loregian