Dr Laura Bocchi

Laura's research focuses on theories and tools for developing safe distributed systems, in particular on the theory and application of behavioural types. Laura 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.  

I belong to the following research groups:

• Programming Languages and Systems Group

Moreover, I am Associate Member of the Kent Interdisciplinary Research Centre in Cyber Security (KirCCS), and a collaborator of the Mobility Reading Group where I am contributing to extending Scribble with assertions and time.

• COMP8870 -- Web-Based Information Systems Development
• COMP6610 -- Theory and Practice of Concurrency (convenor)

Here is list of projects I am or was involved in:

• STARDUST — EPSRC standard grant    
• BEHAPI -- H2020 Marie Sklodowska-Curie RISE project
• Time-sensitive protocol design and implementation -- EPSRC first grant
• BETTY -- Behavioural Types for Reliable Large-Scale Software Systems
• ABCD -- A Basis for Concurrency and Distribution
• OOI -- Ocean Observatories Initiative
• Tracing Networks -- Craft Traditions in the Ancient Mediterranean and Beyond
• SENSORIA -- Software Engineering for Service-Oriented Overlay Computers

Events

FORTE 2022

COORDINATION 2022

Dagstuhl Seminar 21372 "Behavioural Types: Bridging Theory and Practice" 

Code Beam 2021 (Speaker) 

Code Mesh 2020 (Speaker) 

TRENDS 2019 - 31 August, 2019, CWI, Amsterdam (Speaker)

Lambda World Cádiz - 17-18 October, 2019, Cádiz, Spain (Speaker)

TRENDS 2019 - 31 August, 2019, CWI, Amsterdam (Keynote Speaker)

CONCUR 2019 - 27-30 August, 2019, CWI, Amsterdam (Enjoying the talks)

Coordination 2019 - 18-21 June, 2019, DTU, Denmark (PC member)

ESOP 2019 - 8-11 April, 2019, Prague, Czech Republic - (Author)

BEHAPI 2019 Workshop on Behavioural APIs - 6 April, 2019, Prague, Czech Republic - (Chair)

S-REPLS 11 - 8 February, 2019, London, UK - (attending and presenting my latest work on timed session types)

Beat 2019 - 13-19 January, 2019, Lisbon, Portugal (PC member)

ABCD Meeting 2018 - 17-18 December, 2018, London, UK (attending and presenting my latest work on timed session types)

CONCUR 2018 - 4-7 September, 2018, Beijing, China - (Author)

Start my participation to the AURORA programme - 8 March, 2018, London, UK

Kick off meeting of (H2020-MSCA-RISE-2017) project BehAPI - 1-2 March, 2018, University of Malta, Malta.

Research Seminar - "From time-sensitive models to time-sensitive programs" - 16 February, 2018, University of Leicester, UK

ABCD December 2017 Meeting - 18-19 December, 2017, Edinburgh, UK

ICE 2017 - 22 June, Neuchâtel, Switzerland - (ICEcreamer)

ICT Early Careers Researchers Workshop - 6-7 March 2017, Cardiff, UK

Dagstuhl seminar 17051 - Theory and Applications of Behavioural Types - 9 January - 3 February, Dagstuhl, Germany

4PAD 2017 (special session at PDP) - 6-8 March, St. Petersburg, Russia - (PC member)

Betty Final Meeting - 6-7 October, 2016, Lisbon, Portugal

KCW 2016 - Kent Concurrency Workshop - 21-22 July, Canterbury, UK

BETTY Summer School 2016 - 27 June - 1 July, Limassol, Cyprus - (Lecturer)

Lectures series on Multiparty Session types -- lectures slides :

• parts 1 & 2 (types and processes),
• part 3 (properties and typing),
• part 4 (advanced topics)