Projects per year
Fingerprint
Dive into the research topics where Conor McBride is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 8 Finished
-
KTP - Cambridge Quantum Computing (CQC)
McBride, C. (Principal Investigator), Atkey, B. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
Cambridge Quantum Computing Limited, KTP Govt (Momenta)
24/02/20 → 23/02/22
Project: Research
-
KTP - Cambridge Quantum Computing (CQC) / R190328-202
McBride, C. (Principal Investigator), Atkey, B. (Co-investigator) & Nordvall Forsberg, F. (Co-investigator)
Cambridge Quantum Computing Limited
24/02/20 → 23/02/22
Project: Research - Internally Allocated
Research output
-
LabMate: a prospectus for types for MATLAB
McBride, C., Nakov, G., Nordvall Forsberg, F., Videla, A., Forbes , A. & Lines, K., May 2025, In: Measurement: Sensors. 38, 101460.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Preserving model structure and constraints in scientific computing
Forbes , A., Lines, K., Nordvall Forsberg, F., McBride, C. & Videla, A., May 2025, In: Measurement: Sensors. 38, 101796.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile
Datasets
-
Type-and-Scope Safe Programs and Their Proofs - Formalization
Chapman, J. (Creator), McBride, C. (Creator), Allais, G. (Creator) & McKinna, J. (Creator), University of Strathclyde, 9 Dec 2016
DOI: 10.15129/f1283dbb-64fd-4d35-aacc-49d3cc0893b8, https://github.com/agda/agda and one more link, https://github.com/gallais/type-scope-semantics (show fewer)
Dataset
-
Code for: "A type and scope safe universe of syntaxes with binding: their semantics and proofs"
Allais, G. (Creator), Atkey, R. (Creator), Chapman, J. (Creator), McBride, C. (Creator) & McKinna, J. (Creator), Association for Computing Machinery (ACM), 23 Aug 2018
DOI: 10.1145/3235048, https://github.com/gallais/generic-syntax
Dataset
Activities
-
Scottish Programming Languages and Verification Summer School 2024
Allais, G. (Organiser), Watters, S. (Organiser), Atkey, B. (Organiser), Nordvall Forsberg, F. (Organiser), Mc Bride, C. (Organiser), de Muijnck-Hughes, J. (Organiser), Lambert, A. (Organiser), Altenmüller, M. (Organiser) & Kupke, C. (Organiser)
29 Jul 2024 → 2 Aug 2024Activity: Participating in or organising an event types › Organiser of special symposia
-
Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors
Nordvall Forsberg, F. (Speaker), McBride, C. (Contributor), Nakov, G. (Contributor), Allais, G. (Contributor), Altenmüller, M. (Contributor) & Roy, C. (Contributor)
22 Jun 2022Activity: Talk or presentation types › Oral presentation