معرفی
Laura Bocchi is a Reader in Computing at the University of Kent's School of Computing, where she leads the Programming Languages and Systems (PLAS) research group. She is also an Associate Member of the Kent Interdisciplinary Research Centre in Cyber Security (KirCCS) and collaborates with the Mobility Reading Group to extend Scribble with assertions and temporal features.
Her research specializes in formal methods for distributed systems, with emphasis on:
- Behavioral types and multiparty session theories
- Design-by-contract approaches for concurrent systems
- Real-time verification of distributed protocols
- Reversible computing and temporal process languages
- Fault-tolerant actor models and protocol composition
Her recent publications demonstrate strong focus on temporal aspects of distributed systems, including reversible computing, real-time session types, protocol monitoring, and formal verification techniques. The work consistently bridges theoretical foundations with practical applications in concurrency and distributed computing.
She has led/contributed to major research projects:
- STARDUST (EPSRC standard grant)
- BEHAPI (H2020 Marie Curie RISE)
- Time-sensitive protocol design (EPSRC first grant)
- BETTY (Behavioral Types for Large-Scale Systems)
- SENSORIA (Service-Oriented Overlay Computers)
- ABCD (Basis for Concurrency and Distribution)
She teaches courses on Theory and Practice of Concurrency (COMP6610) and Web-Based Information Systems Development (COMP8870).
