Write a Blog >>
LCTES 2019
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
Alceste Scalas

Registered user since Mon 18 Apr 2016

Name: Alceste Scalas

Country: United Kingdom

Affiliation: Aston University, Birmingham, UK

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

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

Contributions

PLDI 2019Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2019-profile
View general profile