School of Computing

Laura Bocchi

Senior Lecturer / PGR Admissions Officer

Photo of L Bocchi, if available
  • Tel:     +44 (0)1227 82 3659
  • Fax:     +44 (0)1227 762811
  • Email:
  • Room SW16
    School of Computing
    University of Kent,
    CT2 7NF

Publications

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.

Events

    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)

Projects

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.

Teaching

  • 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: 19/11/2018