I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow. I am a Co-Investigator within the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD), and a Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI).
I was a Postdoctoral Researcher (Jan 2014 - Apr 2018) within the ABCD project, at the University of Glasgow. Previously, I obtained my PhD in computing science from the University of Bologna, Italy, under the supervision of Davide Sangiorgi. My PhD thesis 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 EATCS. I obtained my BSc (2008) and MSc (2010) in computing science both summa cum laude (110/110 e lode), from Sapienza University of Rome, Italy.
You can find more detailed information about me in my personal website.
PhD in Computing Science, 2015
University of Bologna
MSc in Computing Science, 2010
Sapienza University
BSc in Computing Science, 2008
Sapienza University