|
Name: |
Professor N Ghani |
Organisation: |
University of Strathclyde |
Department: |
Computer and Information Sciences |
Current EPSRC-Supported Research
Topics: |
Fundamentals of Computing
|
Logic & Combinatorics
|
|
Current EPSRC Support |
EP/Y000455/1 | A correct-by-construction approach to approximate computation | (C) |
|
Previous EPSRC Support |
EP/M016951/1 | Homotopy Type Theory: Programming and Verification | (P) |
EP/K023837/1 | Logical Relations for Program Verification | (P) |
EP/G068917/1 | Categorical Foundations for Indexed Programming | (C) |
EP/G034699/1 | Reusability and Dependent Types | (P) |
EP/G033056/1 | Theory And Applications of Induction Recursion | (P) |
GR/T06087/02 | Midlands Graduate School in the Foundations of Computer Science | (P) |
EP/C511964/2 | Theory and Applications Of Containers | (P) |
EP/C511964/1 | Theory and Applications Of Containers | (P) |
GR/T06087/01 | Midlands Graduate School in the Foundations of Computer Science | (P) |
GR/R29604/01 | Kan:- a Categorical Approach To Computer Algebra | (P) |
GR/M96230/01 | CATEGORICAL REWRITING: MONADS AND MODULARITY | (P) |
GR/L28296/01 | XSLAM - THE EXPLICIT SUBSTITUTION LINEAR ABSTRACT MACHINE | (C) |
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
|
|
|
|