EPSRC logo
Researcher Details
 
Name: Dr DR Ghica
Organisation: University of Birmingham
Department: School of Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/P004490/1 System-Level Game Semantics: A unifying framework for composing systems(P)
Previous EPSRC Support
EP/K015214/1 A higher-order approach to codesign - 27659(P)
EP/D076625/2 UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures(C)
EP/D076625/1 UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures(C)
EP/E010180/1 The role of language covers in games-based abstraction and refinement(P)
EP/D070880/1 A Unified Approach to Compositional Software Modelling, Analysis and Verification(P)
EP/D034906/1 Modular Abstraction and Abstraction Refinement: A Game-Semantic Approach(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator