Talk by Laura Bocchi, University of Kent
VSS25: Laura Bocchi- DRAFTTeresa Carbajo Garcia2025-04-14T17:51:26+00:00
Laura Bocchi’s is a Reader in Computing at the University of Kent, and the Programming Languages and Systems Group head. Her research focuses on theories and tools for developing safe distributed systems, in particular on the theory and application of behavioural types. She has been working on the extension of Multiparty Session Types with logics to enable Design by Contract for concurrency, with time constraints to enable effective verification of real-time and reliable distributed systems. She is an Associate Member of the Kent Interdisciplinary Research Centre in Cyber Security (KirCCS) and a collaborator of the Mobility Reading Group where she is contributing to extending Scribble with assertions and time.
by