Biography:Conor McBride
From HandWiki
Short description: Computer scientist
Conor McBride | |
|---|---|
| Born | 18 February 1973 Newtownards, Northern Ireland |
| Alma mater | University of Edinburgh |
| Scientific career | |
| Fields | Computer science Type theory |
| Institutions | Durham University Royal Holloway, University of London University of Strathclyde |
| Thesis | Dependently Typed Functional Programs and their Proofs (1999) |
| Website | strictlypositive |
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, he completed a Doctor of Philosophy (Ph.D.) in Dependently Typed Functional Programs and their Proofs[2] at the University of Edinburgh for his work in type theory.[3] 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 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]
He favors and often uses the language Haskell.[6]
Research
His most notable research is in the field of type theory.[7] He cocreated the programming language Epigram with James McKinna.[8] Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.[9]
Selected bibliography
- McBride, Conor; Dagand, Pierre-Evariste (2014). "Transporting Functions across Ornaments". ACM SIGPLAN Notices—ICFP 47 (9): 103–114. doi:10.1145/2398856.2364544.
- McBride, Conor; Benton, Nick; Hur, Chung-Kil; Kennedy, Andrew J. (August 2012). "Strongly Typed Term representations in Coq". Journal of Automated Reasoning 49 (2): 141–159. doi:10.1007/s10817-011-9219-0. http://research.microsoft.com/en-us/um/people/akenn/coq/jartypedsyntax.pdf.
- McBride, Conor; Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (September 2010). "The gentle art of levitation". ACM SIGPLAN Notices—ICFP 45 (9): 3–14. doi:10.1145/1932681.1863547. http://www.ioc.ee/~james/papers/levitation.pdf.
- McBride, Conor; Paterson, Ross (January 2008). "Applicative programming with effects". Journal of Functional Programming 18 (1). doi:10.1017/S0956796807006326. http://strictlypositive.org/IdiomLite.pdf.
- McBride, Conor; Altenkirch, Thorsten; Morris, Peter (2007). "Generic Programming with Dependent Types". Datatype-Generic Programming. Lecture Notes in Computer Science. 4719. pp. 209–257. http://www.cs.nott.ac.uk/~txa/publ/ssgp06.pdf.
- McBride, Conor; Altenkirch, Thorsten; McKinna, James. Why Dependent Types Matter. http://www.cs.nott.ac.uk/~txa/publ/ydtm.pdf.
- McBride, Conor; Altenkirch, Thorsten, eds (2007). Types for Proofs and Programs: International Workshop. Springer. ISBN 978-3540744634.
- McBride, Conor (2006). "A Few Constructions on Constructors". Types for Proofs and Programs. Lecture Notes in Computer Science. 3839. pp. 186–200.
- McBride, Conor (2005). "Epigram: Practical Programming with Dependent Types". Advanced Functional Programming. Lecture Notes in Computer Science. 3622. pp. 130–170. http://cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/epigram-notes.pdf.
- McBride, Conor; McKinna, James (January 2004). "The view from the left". Journal of Functional Programming 14 (1): 69–111. doi:10.1017/s0956796803004829. http://strictlypositive.org/vfl.pdf.
- McBride, Conor; Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2003). "Derivatives of Containers". Proceedings of the 6th International Conference on Typed Lambda Calculi and Applications: 16–30. http://www.cs.nott.ac.uk/~txa/publ/tlca03.pdf.
- McBride, Conor (2002). "Elimination with a Motive". Types for Proofs and Programs. Lecture Notes in Computer Science. 2277. pp. 197–216. https://www.cs.ru.nl/F.Wiedijk/courses/tt-2010/tvftl/conor-elimination.pdf.
- McBride, Conor (2001). The Derivative of a Regular Type is its Type of One-Hole Contexts. http://strictlypositive.org/diff.pdf.
- McBride, Conor (2000). Dependently Typed Functional Programs and their Proofs. University of Edinburgh College of Science and Engineering. http://strictlypositive.org/thesis.pdf.
Video lectures
- McBride, Conor (3 February 2011). Dependently Typed Programming: An Agda Introduction (first of 15 lectures) (video). Iain McGinniss.
- McBride, Conor (10 September 2012). ICFP 2012 Monday keynote. Conor McBride: Agda-curious? (video). Malcolm Wallace.
References
- ↑ "Dr Conor McBride: Reader: Computer and Information Sciences". https://www.strath.ac.uk/staff/mcbrideconordr/.
- ↑ McBride, Conor (July 2000). Dependently Typed Functional Programs and their Proofs. University of Edinburgh. https://www.era.lib.ed.ac.uk/handle/1842/374. Retrieved 15 January 2016.
- ↑ McBride, Conor (1999). "Dependently Typed Functional Programs and their Proofs". University of Edinburgh. http://www.lfcs.inf.ed.ac.uk/reports/00/ECS-LFCS-00-419/ECS-LFCS-00-419.pdf.
- ↑ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Profile.
- ↑ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". https://ifipwg21wiki.cs.kuleuven.be/IFIP21/ScopeEtc.
- ↑ McBride, Conor. "Conor's Staring out the Window". University of Strathclyde. https://personal.cis.strath.ac.uk/conor.mcbride/.
- ↑ Altenkirch, Thorsten; McBride, Conor. "Towards Observational Type Theory". http://strictlypositive.org/ott.pdf.
- ↑ McBride, Conor; McKinna, James (January 2004). "The view from the left". Journal of Functional Programming 14 (1): 69–111. doi:10.1017/s0956796803004829.
- ↑ Cambridge Journals Online: Journal of Functional Programming, Conor McBride
External links
- , University of Strathclyde
- , personal
- Conor McBride at the Mathematics Genealogy Project
- {{DBLP}} template missing ID and not present in Wikidata.
 |  |
