Projects per year
Projects
- 8 Finished
Search results
-
Finished
KTP - Cambridge Quantum Computing (CQC)
McBride, C. (Principal Investigator), Atkey, B. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
Cambridge Quantum Computing Limited, KTP Govt (Momenta)
24/02/20 → 23/02/22
Project: Research
-
KTP - Cambridge Quantum Computing (CQC) / R190328-202
McBride, C. (Principal Investigator), Atkey, B. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
Cambridge Quantum Computing Limited
24/02/20 → 23/02/22
Project: Research - Internally Allocated
-
Trusted Systems
Ghani, N. (Principal Investigator), McBride, C. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
National Physical Laboratory NPL
1/10/19 → 30/09/24
Project: Research
-
Trust: Trusted Systems
Ghani, N. (Co-investigator), McBride, C. (Principal Investigator) & Nordvall Forsberg, F. (Co-investigator)
1/10/19 → 30/09/23
Project: Research
-
Homotopy Type Theory: Programming and Verification
Ghani, N. (Principal Investigator) & McBride, C. (Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research
-
CORCON (FP7 IRSES)
Ghani, N. (Principal Investigator), Kupke, C. (Co-investigator) & McBride, C. (Co-investigator)
European Commission - FP7 - General
1/01/14 → 31/12/17
Project: Research
-
Haskell Types with Added Value
McBride, C. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/07/12 → 30/06/13
Project: Research
-
Reusability and Dependent Types
Ghani, N. (Principal Investigator) & McBride, C. (Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/09 → 30/09/13
Project: Research