EPSRC logo
Researcher Details
 
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