Alceste Scalas

Registered user since Mon 18 Apr 2016

Name: Alceste Scalas

Country: United Kingdom

Affiliation: Aston University, Birmingham, UK

Personal website:

Research interests: Formal methods, concurrency, distributed systems, behavioural and session types, programming languages


PLDI 2019 Verifying Message-Passing Programs with Dependent Behavioural Types
Show activities from other conferences

PLDI 2019-profile
View general profile