Conor McBride – Projects — University of Strathclyde

View Scopus Profile

Phone01415483172
Emailconor.mcbridestrath.acuk

United Kingdom

If you made any changes in Pure these will be visible here soon.

2 Active
6 Finished

8 results

Active

Trusted Systems
Ghani, N. & McBride, C.
National Physical Laboratory NPL
1/10/19 → 30/09/23
Project: Research
Trust: Trusted Systems
Ghani, N., McBride, C. & Nordvall Forsberg, F.
1/10/19 → 30/09/23
Project: Research
Finished

KTP - Cambridge Quantum Computing (CQC)
McBride, C., Atkey, B. & Nordvall Forsberg, F.
Cambridge Quantum Computing Limited, KTP Govt (Momenta)
24/02/20 → 23/02/22
Project: Research
KTP - Cambridge Quantum Computing (CQC) / R190328-202
McBride, C., Atkey, B. & Nordvall Forsberg, F.
Cambridge Quantum Computing Limited
24/02/20 → 23/02/22
Project: Research - Internally Allocated
Homotopy Type Theory: Programming and Verification
Ghani, N. & McBride, C.
EPSRC (Engineering and Physical Sciences Research Council)
1/04/15 → 30/09/19
Project: Research
CORCON (FP7 IRSES)
Ghani, N., Kupke, C. & McBride, C.
European Commission - FP7 - General
1/01/14 → 31/12/17
Project: Research
Haskell Types with Added Value
McBride, C.
EPSRC (Engineering and Physical Sciences Research Council)
1/07/12 → 30/06/13
Project: Research
Reusability and Dependent Types
Ghani, N. & McBride, C.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/09 → 30/09/13
Project: Research