Projects per year
Projects
- 12 Finished
Search results
-
Finished
Sea lice dispersal models
Waites, W. (Principal Investigator), Ghani, N. (Co-investigator), Mardare, R. (Co-investigator) & Revie, C. (Co-investigator)
SAIC Sustainable Aquaculture Innovation Centre SFC Administered via Stirling (formerly Scottish AIC)
8/01/24 → 31/07/24
Project: Research
-
Doctoral Training Partnership 2018-19 University of Strathclyde | Gavranovic, Bruno
Ghani, N. (Principal Investigator), Weir, G. (Co-investigator) & Gavranovic, B. (Research Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/10/19 → 7/03/24
Project: Research Studentship - Internally Allocated
-
Trust: Trusted Systems
Ghani, N. (Co-investigator), McBride, C. (Principal Investigator) & Nordvall Forsberg, F. (Co-investigator)
1/10/19 → 30/09/23
Project: Research
-
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
-
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
-
Doctoral Training Partnership (DTA - University of Strathclyde) | Dunne, Kevin
Duncan, R. (Principal Investigator), Ghani, N. (Co-investigator) & Dunne, K. (Research Co-investigator)
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. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/06/14 → 30/09/15
Project: Research - Internally Allocated
-
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
-
Logical Relations for Program Verification
Ghani, N. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
30/09/13 → 29/09/17
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
-
Categorical Foundations of Indexed Programming
Johann, P. (Principal Investigator) & Ghani, N. (Co-investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/07/09 → 31/12/12
Project: Research
-
Theory and Applications of Induction Recursion
Ghani, N. (Principal Investigator)
EPSRC (Engineering and Physical Sciences Research Council)
1/03/09 → 31/08/12
Project: Research