Alceste Scalas

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

I joined Aston University in March 2019. Before, I was a Research Associate at Imperial College London, 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.

News

New publications:

Events

Tools

Research projects

Publications

(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