I am a Postdoctoral Researcher at the School of Computing Science, University of Glasgow working with Simon Gay in the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD). Within the School, I am a member of Formal Analysis, Theory and Algorithms (FATA) research section.
Previously, I obtained my PhD in computer science in 2014 from University of Bologna, under the supervision of Davide Sangiorgi. My PhD thesis titled Type Systems for Distributed Programs: Components and Sessions won the prize for the Best Italian PhD Thesis in Theoretical Computer Science 2015, awarded by the Italian Chapter of the European Association of Theoretical Computer Science (EATCS).
I obtained my BSc in 2007 and my MSc in 2010 in computer science, both summa cum laude, from Sapienza University of Rome.
My detailed curriculum vitae can be found here.