Conor McBride
From Infogalactic: the planetary knowledge core
| 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.[1] In 1999 he completed a PhD in 'Dependently Typed Functional Programs and their Proofs'[2] at Edinburgh University for his work in type theory.[3] He previously worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde.
Research
His most notable research is in the field of type theory.[4] He co-created the programming language Epigram with James McKinna.[5] Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.[6]
Selected bibliography
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
References
- ↑ University of Strathclyde: Computer and Information Sciences: Staff: McBride, Conor Dr
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Dependently Typed Functional Programs and their Proofs, by Conor McBride, University of Edinburgh, 1999
- ↑ Towards Observational Type Theory by Thorsten Altenkirch and Conor McBride
- ↑ The view from the left by Conor McBride and James McKinna, Journal of Functional Programming, Volume 14 Issue 1, January 2004, pp 69–111
- ↑ Cambridge Journals Online: Journal of Functional Programming, Conor McBride
External links
- Conor McBride at the Mathematics Genealogy Project
- Conor McBride's publications indexed by the DBLP Bibliography Server at the University of Trier
- Conor McBride's home page
- Video lectures by Conor McBride
