EPSRC logo
Researcher Details
Name: Dr D Castro-Perez
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Software Engineering

Current EPSRC Support
EP/Y00339X/1 MEBI: Mechanised Bisimilarities and Behavioural-typed Processes(P)
EP/T014512/1 Session Types for Reliable Distributed Systems (STARDUST)(C)
Previous EPSRC Support
There is no previous EPSRC Support
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator