Conor McBride (born 18 February 1973) is a Reader in the department of Computer and Information Sciences at the

University of Strathclyde The University of Strathclyde () is a public research university located in Glasgow, Scotland. Founded in 1796 as the Andersonian Institute, it is Glasgow's second-oldest university, having received its royal charter in 1964 as the first techn ...

. In 1999, they completed a

Doctor of Philosophy A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of Postgraduate education, graduate study and original resear ...

(Ph.D.) in ''Dependently Typed Functional Programs and their Proofs'' at the

University of Edinburgh The University of Edinburgh (, ; abbreviated as ''Edin.'' in Post-nominal letters, post-nominals) is a Public university, public research university based in Edinburgh, Scotland. Founded by the City of Edinburgh Council, town council under th ...

for their work in

type theory In mathematics and theoretical computer science, a type theory is the formal presentation of a specific type system. Type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of ...

. They formerly worked at

Durham University Durham University (legally the University of Durham) is a collegiate university, collegiate public university, public research university in Durham, England, founded by an Act of Parliament (UK), Act of Parliament in 1832 and incorporated by r ...

and briefly at

Royal Holloway, University of London Royal Holloway, University of London (RH), formally incorporated as Royal Holloway and Bedford New College, is a public university, public research university and a constituent college, member institution of the federal University of London. It ...

before joining the academic staff at the University of Strathclyde. They were involved with developing

international standard An international standard is a technical standard developed by one or more international standards organizations. International standards are available for consideration and use worldwide. The most prominent such organization is the International O ...

s in programming and informatics, as a member of the

International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 19 ...

(IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which specified, maintains, and supports the

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

ALGOL 60 ALGOL 60 (short for ''Algorithmic Language 1960'') is a member of the ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced code blocks and the begin and end pairs for delimiting them, representing a ...

and

ALGOL 68 ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative programming language member of the ALGOL family that was conceived as a successor to the ALGOL 60 language, designed with the goal of a much wider scope of application and ...

. They favor and often use the language

Haskell Haskell () is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications, Haskell pioneered several programming language ...

Research

Their most notable research is in the field of

. They cocreated the programming language

Epigram An epigram is a brief, interesting, memorable, sometimes surprising or satirical statement. The word derives from the Greek (, "inscription", from [], "to write on, to inscribe"). This literary device has been practiced for over two millennia ...

with James McKinna. Several of their articles, including the joint-written article defining the Epigram language, have been published in the '' Journal of Functional Programming''.Cambridge Journals Online: Journal of Functional Programming, Conor McBride
/ref>

Selected bibliography

* * * * * * * * * * * * * *

Video lectures

* *

References

External links

* , University of Strathclyde * , personal * * {{DEFAULTSORT:Mcbride, Conor 1973 births Living people Academics of the University of Strathclyde Alumni of the University of Edinburgh British computer programmers British computer scientists Programming language researchers 20th-century British scientists 21st-century British scientists Academics of Durham University