Projects per year
Search results
-
Active
Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers
Engineering & Physical Science Research Council
1/04/24 → 31/03/27
Project: Research Councils
-
Nominal String Diagrams
Engineering & Physical Science Research Council
1/12/20 → 31/05/24
Project: Research Councils
-
Finished
System-Level Game Semantics: A unifying framework for composing systems
Engineering & Physical Science Research Council
1/12/16 → 30/11/19
Project: Research Councils
-
A Higher Order approach to Codesign
Engineering & Physical Science Research Council
17/06/13 → 16/12/16
Project: Research Councils
-
Postgraduate Research Studentship - Structural Foundation for Heterogeneous Computation
1/10/11 → 30/09/14
Project: Industry
-
MERCIA Spinner Award - Dr Dan Ghica
BIRMINGHAM RESEARCH & DEVELOPMENT LTD
1/12/06 → 30/09/07
Project: Industry
-
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M., Ghica, D. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils
-
The role of language covers in games-based abstraction and refinement
Engineering & Physical Science Research Council
9/08/06 → 8/09/06
Project: Research Councils
-
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils
-
Modular Abstraction and Abstraction Refinement: A Game Semantic Approach
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
Project: Research Councils