MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Laura Bocchi
Alumni
Publications

Dr Laura Bocchi completed her PhD in 2006 at the Department of Computer Science, University of Bologna on formal models for service composition and coordination. From 2006 to 2013 she has worked at the University of Leicester as a Research Associate within two projects on software engineering for service-oriented systems, i.e., Sensoria and InContext. From 2011 to 2013 she worked in an inter-disciplinary project, Tracing Networks, in collaboration with the School of Archeology, University of Leicester. Since May 2013 she joined Imperial College London, under the supervision of Prof. Nobuko Yoshida and within the context of the Ocean Observatories Initiative (OOI) project. Her main research interests are the formal foundations of business processes and their transactional behaviour, the application of Design by Contract to concurrency, and the theory and application of session types.

Laura is now at University of Kent

Publications

2017
2015
2014
2013
2012
2011
2010

Professional Activities

PC Members and Chairs