|
| Name: |
Professor DR Ghica |
| Organisation: |
University of Birmingham |
| Department: |
School of Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Fundamentals of Computing
|
|
|
| Current EPSRC Support |
| EP/Y010035/1 | Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers | (P) |
| EP/V001612/1 | Nominal String Diagrams | (P) |
|
| Previous EPSRC Support |
| EP/P004490/1 | System-Level Game Semantics: A unifying framework for composing systems | (P) |
| 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
|
| |
|
|
|
|