No photo of Conor McBride

View Scopus Profile

Conor McBride

Dr

 https://orcid.org/0000-0003-1487-0886

  • United Kingdom

20082023

Research output per year

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

Projects

Active

Trust: Trusted Systems

Ghani, N., McBride, C. & Nordvall Forsberg, F.

1/10/19 → 30/09/23

Project: Research

Trusted Systems

Ghani, N. & McBride, C.

National Physical Laboratory NPL

1/10/19 → 30/09/23

Project: Research

KTP - Cambridge Quantum Computing (CQC)

McBride, C., Atkey, B. & Nordvall Forsberg, F.

Cambridge Quantum Computing Limited, KTP Govt (Momenta)

5/08/19 → 4/08/21

Project: Research

Finished

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

Doctoral Training Grant | Andjelkovic, Stevan

McBride, C., Ghani, N. & Andjelkovic, S.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/11 → 1/04/15

Project: Research Studentship - Internally Allocated

Reusability and Dependent Types

Ghani, N. & McBride, C.

EPSRC (Engineering and Physical Sciences Research Council)

1/10/09 → 30/09/13

Project: Research