Alceste Scalas

DTU Compute — Technical University of Denmark
DK-2800 Kongens Lyngby, Denmark
alcsc (at) dtu (dot) dk

Alceste's portrait

I am an Assistant Professor at DTU Compute — the Department of Applied Mathematics and Computer Science of the Technical University of Denmark. I am a member of the Formal Methods research section.

I joined DTU in September 2020. Earlier, I was a Lecturer (Assistant Professor) in Computer Science at Aston University, Birmingham, UK. 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.




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