Conor McBride

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. In 1999 he completed a PhD in 'Dependently Typed Functional Programs and their Proofs' at Edinburgh University for his work in type theory. 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. He co-created the programming language Epigram with James McKinna. Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.

...
Wikipedia