School of Computing

Laura Bocchi

Senior Lecturer / PGR Admissions Officer

Photo of Laura Bocchi, if available
  • Room SW16
    School of Computing
    University of Kent,
    CT2 7NF


My publications are available from the University of Kent's Academic Repository.

Here are some links to my pages on Google Scholar and DBLP.

Research Interests

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.

My research spans several areas, which include software engineering, concurrency and formal methods. I am interested in theories and tools for developing safe distributed systems. I am particularly interested in the formal foundations of service coordination and composition, business processes and their transactional behaviour, and the theory and application of behavioural types. Most recently, I have been working on the extension of Multiparty Session Types with logics to enable Design by Contract for concur rency, and the effective verification of real-time systems.


    TRENDS 2019 - 31 August, 2019, CWI, Amsterdam (Keynote Speaker)
    CONCUR 2019 - 27-30 August, 2019, CWI, Amsterdam (Enjoying the talks)
    ESOP 2019 - 8-11 April, 2019, Prague, Czech Republic - (Author)
    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
    ICE 2017 - 22 June, Neuchâtel, Switzerland - (ICEcreamer)
    4PAD 2017 (special session at PDP) - 6-8 March, St. Petersburg, Russia - (PC member)
    KCW 2016 - Kent Concurrency Workshop - 21-22 July, Canterbury, UK
    Lectures series on Multiparty Session types -- lectures slides :
  • parts 1 & 2 (types and processes),
  • part 3 (properties and typing),
  • part 4 (advanced topics)


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

Funded PhD Studentship

I would welcome enquiries/proposals for a PhD research under my supervision in any of the subjects above.


  • CO887 -- Web-Based Information Systems Development
  • CO661 -- Theory and Practice of Concurrency (convenor)
  • CO886 -- Software Engineering (convenor)
Information for students in the School of Computing at Canterbury can be found here.

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 20/10/2020