Projects per year
Search results
-
Active
Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
Ghani, N., Hedges, J. & Braithwaite, D.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship Case - Internally allocated
-
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C., Nordvall Forsberg, F. & Watters, S.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
-
-
Maths DTP 2020 University of Strathclyde | Capucci, Matteo
Ghani, N., Mardare, R. & Capucci, M.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/20 → 1/10/24
Project: Research Studentship - Internally Allocated
-
AISEC: AI Secure and Explainable by Construction
EPSRC (Engineering and Physical Sciences Research Council)
1/06/20 → 31/05/23
Project: Research
-
Trust: Trusted Systems
Ghani, N., McBride, C. & Nordvall Forsberg, F.
1/10/19 → 30/09/23
Project: Research
-
-
Doctoral Training Partnership 2018-19 University of Strathclyde | Gavranovic, Bruno
Ghani, N., Weir, G. & Gavranovic, B.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/19 → 1/07/23
Project: Research Studentship - Internally Allocated
-
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