Alceste Scalas

Since March 2019, I am a lecturer (assistant professor) at Aston University, Birmingham, UK. This web page is temporary. My new email address is: a (dot) scalas (at) aston (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 software developer in industry, and as research software engineer in several 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.

My main research topics are: formal methods, concurrency theory, distributed systems, programming languages, type systems. I am particularly keen on producing theoretically-grounded tools and libraries to aid software design, development, and verification.


Upcoming talk: “Effpi: concurrent programming with dependent behavioural types”, at BEAT 2019 (13 January 2019).

New publications:



Research projects


(Also on DBLP)

Peer-reviewed workshops (without formal proceedings)

Seminars and invited talks

PhD Thesis

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

Other writings