Conor McBride
Conor McBride is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde. In 1999, he completed a Doctor of Philosophy in Dependently Typed Functional Programs and their Proofs at the University of Edinburgh for his work in type theory. He formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.
He was a member of the International Federation for Information Processing IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which supports and maintains the programming languages ALGOL 60 and ALGOL 68.Research
His most notable research is in the field of type theory. He cocreated 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.Selected bibliography
*
