EPSRC logo
Researcher Details
 
Name: Dr L Bocchi
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/T014512/1 Session Types for Reliable Distributed Systems (STARDUST)(P)
Previous EPSRC Support
EP/N035372/1 Time-sensitive protocol design and implementation(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator