Alceste Scalas

alceste (dot) scalas (at) imperial (dot) ac (dot) uk

I am a Research Associate at Imperial College London, Department of Computing. I am a member of the Mobility Reading Group, directed by Prof. Nobuko Yoshida.

I earned my PhD in May 2015 at the University of Cagliari (score: excellent). Earlier, I earned a BSc and a MSc in Informatics (both cum laude) at the University of Cagliari, worked as a software engineer, and have been involved in several research and development projects at CRS4 (Center for Advanced Studies, Research and Development in Sardinia).

Research interests

I am interested in the theory and practice of concurrent and distributed systems: how to design and develop correct and reliable applications, by building upon rigorous mathematical foundations.

Keywords: formal methods, concurrency theory, distributed systems, programming languages, type systems.

Research projects




(Also on DBLP)

Peer-reviewed workshops (without formal proceedings)

Seminars and invited talks

(Note: the following list might be incomplete)

PhD Thesis

A semantic deconstruction of session types. Successfully defended on May 2015 (final score: excellent)

Other writings