Neil Ghani – Projects — University of Strathclyde

View Scopus Profile

Phone01415484303
Emailneil.ghanistrath.acuk

United Kingdom

If you made any changes in Pure these will be visible here soon.

1 Not started
4 Active
9 Finished

9 results

Filter

Finished

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
Homotopy Type Theory: Programming and Verification
Ghani, N. & McBride, C.
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
Ghani, N.
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
Ghani, N.
EPSRC (Engineering and Physical Sciences Research Council)
30/09/13 → 29/09/17
Project: Research
Reusability and Dependent Types
Ghani, N. & McBride, C.
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
Ghani, N.
EPSRC (Engineering and Physical Sciences Research Council)
1/03/09 → 31/08/12
Project: Research