Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, 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


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

Using general profile