I am a Senior Lecturer (Associate Professor) in the School of Computing Science at the University of Glasgow. Within the School, I am the Theme Lead of Programming Languages and a member of Formal Analysis, Theory and Algorithms (FATA).
I am Glasgow Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI) and previously I was a Co-I and a Postdoctoral Researcher of the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).
I obtained my PhD (May 2014) 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.My research interests are in programming languages, concurrency, logic and verification.
My goal is to design and develop rigorous formal models and software tools for communication-safe, adaptable and resilient concurrent and distributed systems.
If you are interested in working with me or simply want to know more about my research, you are welcome to contact me.
If you are interested in persuing high-quality PhD research in the areas of programming languages, concurrency, logic, and verification, you are welcome to contact me and check our Concurrency Lab (CoLab).
Also, if you are in Glasgow you can come and visit CoLab in rooms F142/F143 in the School of Computing Science.
You can find information about the application process here.
If you are interested to know more about the Programming Languages research group from the FATA perspective, check the video below, which gives an overview of our research activities.