Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Alceste Scalas

Registered user since Mon 18 Apr 2016

Name: Alceste Scalas

Country: United Kingdom

Affiliation: Imperial College London

Personal website: http://www.doc.ic.ac.uk/~ascalas/

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

Contributions

BEAT 2019Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track
POPL 2019Author of Less is More: Multiparty Session Types Revisited within the Research Papers-track
Show activities from other conferences

POPL 2019-profile
View general profile