CUFinder

Conor McBride

Conor McBride

University of Strathclyde

H-index: 37

Europe-United Kingdom

About Conor McBride

Conor McBride, With an exceptional h-index of 37 and a recent h-index of 22 (since 2020), a distinguished researcher at University of Strathclyde, specializes in the field of Type Theory, Functional Programming, Category Theory, Logic.

His recent articles reflect a diverse array of research interests and contributions to the field:

Measuring with confidence: leveraging expressive type systems for correct-by-construction software

TypOS: An operating system for typechecking actors

Type systems for programs respecting dimensions

Doo bee doo bee doo

Conor McBride Information

University

Position

Reader

Citations(all)

4508

Citations(since 2020)

1328

Cited By

3830

hIndex(all)

37

hIndex(since 2020)

22

i10Index(all)

54

i10Index(since 2020)

37

Email

Access Email

University Profile Page

University of Strathclyde

Google Scholar

View Google Scholar Profile

Conor McBride Skills & Research Interests

Type Theory

Functional Programming

Category Theory

Logic

Top articles of Conor McBride

Title

Journal

Author(s)

Publication Date

Measuring with confidence: leveraging expressive type systems for correct-by-construction software

Acta IMEKO

Conor McBride

Georgi Nakov

Fredrik Nordvall Forsberg

2023/3/22

TypOS: An operating system for typechecking actors

28th International Conference on Types for Proofs and Programs, TYPES

Guillaume Allais

Malin Altenmüller

Conor McBride

Georgi Nakov

Fredrik Nordvall Forsberg

...

2022/6/22

Type systems for programs respecting dimensions

Conor McBride

Fredrik Nordvall Forsberg

2021

Doo bee doo bee doo

Journal of Functional Programming

Lukas Convent

Sam Lindley

Conor McBride

Craig McLaughlin

2020/1

See List of Professors in Conor McBride University(University of Strathclyde)