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

Contributions

POPL 2021Author of Precise Subtyping for Asynchronous Multiparty Sessions within the Research Papers-track
Show activities from other conferences

Using general profile