School of Computing

Laura Bocchi

Senior Lecturer / PGR Admissions Officer

Photo of L Bocchi, if available
  • Tel:     +44 (0)1227 823659
  • Fax:     +44 (0)1227 762811
  • Email:
  • 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:

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-timesystems.

I am also member of the Mobility Reading Group and I am contributing to extending Scribble, a toolchain based on Multiparty Session Types, with assertions and time.


    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)
    TGC 2015 - 10th International Symposium of Trustworthy Global Computing - 31 Aug - 1 Sep, Madrid, Spain - (PC member)
    ICW 2015 - Imperial Concurrency Workshop - 15-16 July, London, UK


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
  • CO539 -- Web Development
  • CO510 -- Software Engineering
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: 22/11/2017