About me.

You can:	Download my academic CV;
or:	Return to the homepage.

Contact.

Since 2023, I have been an Assistant Professor in the Compositional Systems and Methods group at Tallinn University of Technology.

Room 323, Department of Software Science, Building of Cybernetics

Tallinn University of Technology

Akadeemia tee 21/1, 12618 Tallinn, Estonia

Since 2022, I have also been a part-time Scientific Advisor at Quantinuum.

You can write to me in English, Italian, Serbo-Croatian, or French.

2024—2025. Safeguarded AI Programme Grant from ARIA — Advanced Research + Innovation Agency.
Project title: Syntax and semantics for multimodal Petri nets.
2022—2025. Start-up Grant PSG764 from the Estonian Research Council.
Project title: Rewriting in a directed homotopy theory (Ümberkirjutamine suunatud homotoopiateoorias).
2019—2020. Postdoctoral Fellowship (Mathematical Interactions) from FSMP — Fondation Sciences Mathématiques de Paris.
Project title: Regular polygraphs between rewriting, algebra and topology. Hosted by Pierre-Louis Curien and Yves Guiraud.
2017—2019. Postdoctoral Fellowship for Research in Japan (Standard) and KAKENHI Grant-in-Aid from JSPS — Japanese Society for the Promotion of Science.
Project title: Representable polygraphs: a combinatorial-topological approach to higher-dimensional algebra and rewriting. Hosted by Masahito Hasegawa.

2022. Distinguished presentation at the 5th International Conference on Applied Category Theory, for Data structures for topologically sound higher-dimensional diagram rewriting, joint with Diana Kessler.
2015. Best student paper at 12th International Workshop on Quantum Physics and Logic, for my contribution A diagrammatic axiomatisation of the GHZ and W quantum states.
2014. Premio AILA 3+2 from AILA - Associazione Italiana di Logica e sue Applicazioni, for the best master's thesis in logic defended at an Italian university in the academic year 2012—2013.
2014. Premio migliore laureato from Università di Pavia, for the top graduate from the department of mathematics in the academic year 2012—2013.

2013—2017. D.Phil in Computer Science, University of Oxford, United Kingdom.
2013. Visiting student, Mathematical Institute, Utrecht University, The Netherlands.
2011—2013. Laurea Magistrale in Mathematics, Università di Pavia, Italy.
2008—2011. Laurea Triennale in Mathematics, Università di Pavia, Italy.

I have been a student at Wolfson College, Oxford, and at Collegio Ghislieri, Pavia.

2024—. Alkis Ioannidis. PhD candidate. Title: Formal structures in higher-dimensional rewriting. Co-supervised with Niccolò Veltri.
2023—. Clémence Chanavat. PhD candidate. Title: Combinatorial approaches to directed spaces. Co-supervised with Paweł Sobociński.
2020—. Diana Kessler. PhD candidate. Title: Diagrammatic models of computation. Co-supervised with Paweł Sobociński.