Name:	Professor N Ghani
Organisation:	University of Strathclyde
Department:	Computer and Information Sciences
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/Y000455/1 A correct-by-construction approach to approximate computation (C) 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