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.

Research[edit]

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]

References[edit]

External links[edit]

Video lectures by Conor McBride