conf.researchr.org / Lorenzo Gheri

Registered user since Mon 5 Nov 2018

Name:Lorenzo Gheri
Country:United Kingdom
Affiliation:Imperial College London

Contributions

ECOOP 2022 Author of Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming within the Research Papers-track
PLDI 2021 Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
POPL 2019 Author of Bindings as Bounded Natural Functors within the Research Papers-track