Registered user since Mon 18 Apr 2016

Name: Alceste Scalas

Country: United Kingdom

Affiliation: Imperial College London

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

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

Contributions