David Castro-Perez -

Registered user since Wed 10 Mar 2021

Name:David Castro-Perez

Country:United Kingdom

Affiliation:University of Kent

Contributions

SPLASH 2021	Committee Member in Reviewers within the Student Research Competition-track
PLDI 2021	Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
SPLASH 2020	Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA Artifacts-track