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