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.

Homotopy Type Theory: Programming and Verification

1 April 2015 to 31 September 2019.

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

Previous Grants

Multi-Tenant ThinkBigData Domain Specific Language

1 February 2018 to 30 September 2018.

Conor McBride. The Datalab.

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.

Logical Relations for Program Verification

1 October 2013 to 31 September 2017.

Neil Ghani. EPSRC EP/K023837/1.

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.