Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde


Current Grants

KTP with Symphonic Software

July 2017 to July 2019

Robert Atkey and Clemens Kupke

Coalgebraic Foundations of Semi-Structured Data

1 February 2016 to 31 January 2018.

Clemens Kupke. EPSRC EP/N015843/1.

Real World Data with Dependent Types: Integrity and Interoperation

Conor McBride. Microsoft Research PhD Scholarship.

Homotopy Type Theory: Programming and Verification

1 January 2015 to 31 December 2018.

Neil Ghani and Conor McBride. EPSRC EP/M016951/1.

Logical Relations for Program Verification

1 October 2013 to 31 September 2017.

Neil Ghani. EPSRC EP/K023837/1.

Previous Grants

Haskell Types with Numeric Constraints

Conor McBride. Microsoft Research PhD Scholarship.

Reusability and Dependent Types

1 October 2009 to 31 March 2013.

Conor McBride and Neil Ghani. EPSRC EP/G034699/1.

Haskell Types with Added Value

1 July 2012 to 30 June 2013.

Conor McBride. EPSRC EP/J014591/1.

Theory and Applications of Induction Recursion

1 March 2009 to 31 August 2012.

Neil Ghani. EPSRC EP/G033056/1.

Categorical Foundations of Indexed Programming

1 January 2010 to 31 December 2012

Patricia Johann and Neil Ghani. EPSRC EP/G068917/1.