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 ( gd, Oilthigh Shrath Chluaidh) 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 chart ...

. In 1999, he completed a

Doctor of Philosophy A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common Academic degree, degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields ...

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

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

for his work in

type theory In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundat ...

. He formerly worked at

Durham University , mottoeng = Her foundations are upon the holy hills (Psalm 87:1) , established = (university status) , type = Public , academic_staff = 1,830 (2020) , administrative_staff = 2,640 (2018/19) , chancellor = Sir Thomas Allen , vice_chan ...

and briefly at

Royal Holloway, University of London Royal Holloway, University of London (RHUL), formally incorporated as Royal Holloway and Bedford New College, is a public research university and a constituent college of the federal University of London. It has six schools, 21 academic departm ...

before joining the academic staff at the University of Strathclyde. He was involved with developing

international standard 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 Or ...

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 196 ...

(IFIP)

IFIP Working Group 2.1 IFIP Working Group 2.1 on Algorithmic Languages and Calculi is a working group of the International Federation for Information Processing (IFIP). IFIP WG 2.1 was formed as the body responsible for the continued support and maintenance of the progra ...

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. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

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 k ...

and

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

. He favors and often uses 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 has pioneered a number of programming lan ...

Research

His most notable research is in the field of

. He cocreated the programming language

Epigram An epigram is a brief, interesting, memorable, and sometimes surprising or satirical statement. The word is derived from the Greek "inscription" from "to write on, to inscribe", and the literary device has been employed for over two mille ...

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 The ''Journal of Functional Programming'' is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics ...

''.Cambridge Journals Online: Journal of Functional Programming, Conor McBride
/ref>

Selected bibliography

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

Video lectures

* *

References

External links

* , University of Strathclyde * , personal * * {{DEFAULTSORT:Mcbride, Conor Living people British computer scientists Academics of the University of Strathclyde Alumni of the University of Edinburgh 1973 births