Neil Ghani

Start Date

End Date Funded Value Relevance

CSV

25 50 100

£692,875

Nov 23 - Sep 24

A correct-by-construction approach to approximate computation

EPSRC award to University of Strathclyde and Radu Mardare

Sep 20 - Sep 24

Sheaves for Systems

EPSRC award to University of Strathclyde

Sep 19 - Jun 23

Compositional Learning algorithms

EPSRC award to University of Strathclyde

Sep 17 - Jul 21

Semantics for type theories with resource usage annotations

EPSRC award to University of Strathclyde

£499,631

Mar 15 - Sep 19

Homotopy Type Theory: Programming and Verification

EPSRC award to University of Strathclyde and Neil Ghani

£442,444

Sep 13 - Sep 17

Logical Relations for Program Verification

EPSRC award to University of Strathclyde and Neil Ghani

£281,879

Jan 10 - Dec 12

Categorical Foundations for Indexed Programming

EPSRC award to University of Strathclyde and Patricia Johann

£148,280

Sep 09 - Sep 13

Reusability and Dependent Types

EPSRC award to University of Strathclyde and Neil Ghani

£310,903

Mar 09 - Aug 12

Theory And Applications of Induction Recursion

EPSRC award to University of Strathclyde and Neil Ghani