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 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

Upcoming talk: “Effpi: concurrent programming with dependent behavioural types” (joint work with E. Benussi and N. Yoshida). To be presented at:

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