Name:	Dr CT McBride
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/M016951/1 Homotopy Type Theory: Programming and Verification (C) EP/J014591/1 Haskell Types with Added Value (P) EP/G034699/1 Reusability and Dependent Types (C)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator