Projects per year
Search results
-
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
-
‘Social smart contracts’ for food safety
Terzis, S., Atkey, B. & Chapman, J.
11/12/17 → 29/03/18
Project: Knowledge Exchange
-
KTP - Symphonic Software
Symphonic Software Ltd, KTP Govt (Momenta)
6/02/17 → 5/02/19
Project: Research
-
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
EPSRC (Engineering and Physical Sciences Research Council)
1/02/16 → 31/01/18
Project: Research
-
Homotopy Type Theory: Programming and Verification
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research
-
Doctoral Training Partnership (DTA - University of Strathclyde) | Dunne, Kevin
Duncan, R., Ghani, N. & Dunne, K.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/14 → 19/09/19
Project: Research Studentship - Internally Allocated
-
Implementing Units of Measure in Haskell
EPSRC (Engineering and Physical Sciences Research Council)
1/06/14 → 30/09/15
Project: Research - Internally Allocated
-
CORCON (FP7 IRSES)
Ghani, N., Kupke, C. & McBride, C.
European Commission - FP7 - General
1/01/14 → 31/12/17
Project: Research
-
Logical Relations for Program Verification
EPSRC (Engineering and Physical Sciences Research Council)
30/09/13 → 29/09/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
-
Categorical Foundations of Indexed Programming
Johann, P. & Ghani, N.
EPSRC (Engineering and Physical Sciences Research Council)
1/07/09 → 31/12/12
Project: Research
-
Theory and Applications of Induction Recursion
EPSRC (Engineering and Physical Sciences Research Council)
1/03/09 → 31/08/12
Project: Research