Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Alceste Scalas

Registered user since Mon 18 Apr 2016

Name: Alceste Scalas

Country: Denmark

Affiliation: Technical University of Denmark

Personal website: https://people.compute.dtu.dk/alcsc/

GitHub: https://github.com/alcestes

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


POPL 2021 Precise Subtyping for Asynchronous Multiparty Sessions
Show activities from other conferences

POPL 2021-profile
View general profile