Institute for Advanced Study

NJ 08540 (Unknown)

Start Date End Date Funded Value Relevance

CSV

25 50 100

£499,631

Apr 15 - Sep 19

Homotopy Type Theory: Programming and Verification

EPSRC award to University of Strathclyde and Neil Ghani

£1,286,761

Apr 20 - Mar 24

STFC award to University of Cambridge and Edward Shellard

£1,079,282

Apr 17 - Mar 21

STFC award to University of Cambridge and Edward Shellard