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
Code Mesh V
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.