Alceste Scalas

Since September 2020, I am an Assistant Professor in Computer Science at DTU Compute - Section for Formal Methods (Technical University of Denmark). My new home page is here. This page is no longer maintained.

Alceste's portrait

I am a lecturer (assistant professor) in Computer Science at Aston University, Birmingham, UK.

I joined Aston University in March 2019. Before that, I was a Research Associate at Imperial College London (Dept. of Computing), and member of the Mobility Reading Group directed by Prof Nobuko Yoshida.

I earned my PhD in Computer Science in 2015, at the University of Cagliari (Italy). Before that, I 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.


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