Alceste Scalas

alceste (dot) scalas (at) imperial (dot) ac (dot) uk

I am a Research Associate at Imperial College London. I work in the Department of Computing, as 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 with honours) at the University of Cagliari, worked as a software engineer, and have been involved in several research and development projects at CRS4 (Center for Advanced Studies, Research and Development in Sardinia).

Research interests

Formal methods, concurrency, distributed systems, contract-oriented computing, contracts, behavioural and session types, programming languages.

Peer-reviewed publications

Peer-reviewed workshops (without formal proceedings)

Events

PhD Thesis

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

Research projects and grants

Other writings

Other public talks, seminars, etc.

Note: the following list is incomplete

Other PhD activities