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.
Awards.
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.
Education.
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.