at our Open Days
Dr Laura Bocchi
Research group head (PLAS)
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:
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.
Here is list of projects I am or was involved in:
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 :