Conor McBride

Conor McBride
Born (1973-02-18) 18 February 1973 (age 51)
Alma materUniversity of Edinburgh
Scientific career
FieldsComputer science
Type theory
InstitutionsDurham University
Royal Holloway, University of London
University of Strathclyde
ThesisDependently Typed Functional Programs and their Proofs (1999)
Websitestrictlypositive.org

Conor McBride (born 18 February 1973) is a Reader in the department of Computer and Information Sciences at the University of Strathclyde.[1] In 1999, they completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs[2] at the University of Edinburgh for their work in type theory.[3] They formerly worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.

They were involved with developing international standards in programming and informatics, as a member of the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi,[4] which specified, maintains, and supports the programming languages ALGOL 60 and ALGOL 68.[5]

They favor and often use the language Haskell.[6]

  1. ^ "Dr Conor McBride: Reader: Computer and Information Sciences". University of Strathclyde: Computer and Information Sciences.
  2. ^ McBride, Conor (July 2000). "Dependently Typed Functional Programs and their Proofs". Edinburgh Research Archive. University of Edinburgh. hdl:1842/374. Retrieved 15 January 2016.
  3. ^ McBride, Conor (1999). "Dependently Typed Functional Programs and their Proofs" (PDF). University of Edinburgh.
  4. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 16 October 2020.
  5. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 16 October 2020.
  6. ^ McBride, Conor. "Conor's Staring out the Window". Computer & Information Sciences. University of Strathclyde. Retrieved 18 August 2020.