Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
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

ECOOP 2021 On the Monitorability of Session Types, in Theory and Practice
ECOOP and ISSTA 2021 Committee Member in Program Committee within the VORTEX-track
Show activities from other conferences

Using general profile