School of Computing Science - University of Glasgow
I am a Research Associate at the School of Computing Science, University of Glasgow, working on the project From Data Types to Session Types: A Basis for Concurrency and Distribution with Simon Gay. Within the School, I am a member of Formal Analysis, Theory and Algorighms research group.
I did my Ph.D. in Computer Science at the University of Bologna, under the supervision of Davide Sangiorgi. Previously, I received my B.Sc and M.Sc degrees in Computer Science at Sapienza University of Rome. During my Ph.D., I spent one year at the IT University of Copenhagen, hosted by Marco Carbone.
I am also a member of the Behavioural Types for Reliable Large-Scale Software Systems european project.
My research interests include programming languages, semantics, type systems and formal methods in general. In particular, I am interested in behavioural types for concurrent and distributed systems.
You can find here a copy of my detailed and updated CV.