Dr Laura Bocchi
Alumni
PublicationsDr 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
2019
-
: Asynchronous Timed Session Types. ESOP 2019 .
2017
2014
-
: Resolving Non-determinism in Choreographies. ESOP 2014 .
-
: Timed Multiparty Session Types. CONCUR 2014 .
-
: Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014 .
2013
-
: Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013 .
2010
-
: A Java Inspired Semantics for Transactions in SOC. TGC 2010 .
-
: Testing Attribute-Based Transactions in SOC. FMOODS/FORTE 2010 .
Professional Activities
PC Members and Chairs
-
TGC 2015 Programme Committee Member
10th International Symposium on Trustworthy Global Computing