Name:Alceste Scalas

Country:United Kingdom

Affiliation:Aston University, Birmingham, UK

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