Conor McBride

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Conor McBride
Born 1973
Newtownards, Northern Ireland
Nationality British
Fields Computer science
Type theory
Alma mater University of Edinburgh

Conor McBride (born 1973) is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde.[1] In 1999 he completed a PhD at Edinburgh University for his work in type theory.[2] He previously worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.


His most notable research is in the field of type theory.[3] He co-created the programming language Epigram with James McKinna.[4] Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.[5]

Selected bibliography[edit]


External links[edit]

Video lectures by Conor McBride