<
Laura Bocchi

Laura Bocchi

Senior Lecturer @ University of Kent

Laura is a Senior Lecturer in Computing at the University of Kent. She is interested in static and dynamic verification of communicating programs by using behavioural types (ie., types that describe communication behaviours). Her current research is on time-sensitive properties and reliability. She is currently a WP leader in the EU RISE project ‘BehAPI’ on behavioural APis, and in the EPSRC project 'Session Types for Reliable Distributed Systems (STARDUST)'.

Past Activities

Laura Bocchi
Code Mesh V
06 Nov 2020
17.30 - 18.10

Protocol engineering for communicating actors

In systems of communicating processes or actors, data types can be used to discipline the sorts of sent and received messages. Behavioural types, in addition, can describe specific causalities and patterns among different send/receive actions (like application-level protocols). I will give an overview on recent and ongoing research about writing realisable behavioural types, especially those including time-constraints and deadlines, and use them to yield correct implementations (e.g., supporting implementation and verification) using programming languages like Erlang.

OBJECTIVES

Advocate the benefits of protocol awareness. Increase awareness of research and available verification techniques. Get all in the loop and discuss together about future directions. 

AUDIENCE

Anyone interested in distributed communications.