Conor McBride
Conor McBride | |
---|---|
Född |
|
18 februari 1973
Medborgarskap | Storbritannien , Irland |
Alma mater | University of Edinburgh |
Vetenskaplig karriär | |
Fält |
Datavetenskap Typteori |
Avhandling | Beroende typade funktionella program och deras bevis (1999) |
Conor McBride (född 18 februari 1973) är en läsare vid avdelningen för data- och informationsvetenskap vid University of Strathclyde . 1999 avslutade han en doktor i filosofi (Ph.D.) i Dependently Typed Functional Programs and their Proofs vid University of Edinburgh för sitt arbete inom typteori . Han arbetade tidigare vid Durham University och en kort stund vid Royal Holloway, University of London innan han började med den akademiska personalen vid University of Strathclyde.
Han var involverad i att utveckla internationella standarder inom programmering och informatik, som medlem i International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, som specificerade , underhåller och stöder programmeringsspråken ALGOL 60 och ALGOL 68 .
Han favoriserar och använder ofta språket Haskell .
Forskning
Hans mest anmärkningsvärda forskning är inom typteorin . Han skapade programmeringsspråket Epigram tillsammans med James McKinna. Flera av hans artiklar, inklusive den gemensamt skrivna artikeln som definierar epigramspråket, har publicerats i Journal of Functional Programming .
Vald bibliografi
- med Dagand, Pierre-Evariste (2014). "Transportera funktioner över prydnadsföremål". ACM SIGPLAN-meddelanden—ICFP . 47 (9): 103–114. arXiv : 1201.4801 . doi : 10.1145/2398856.2364544 .
- med Benton, Nick; Hur, Chung-Kil; Kennedy, Andrew J. (augusti 2012). "Stärkt typade termrepresentationer i Coq" (PDF) . Journal of Automated Reasoning . 49 (2): 141–159. CiteSeerX 10.1.1.296.8805 . doi : 10.1007/s10817-011-9219-0 . S2CID 34005862 .
- med Chapman, James; Dagand, Pierre-Evariste; Morris, Peter (september 2010). "Den milda konsten att levitera" (PDF) . ACM SIGPLAN-meddelanden—ICFP . 45 (9): 3–14. doi : 10.1145/1932681.1863547 .
- med Paterson, Ross (januari 2008). "Applikativ programmering med effekter" (PDF) . Journal of Functional Programming . 18 (1). doi : 10.1017/S0956796807006326 .
- med Altenkirch, Thorsten; Morris, Peter (2007). "Generisk programmering med beroende typer" (PDF) . Datatyp-generisk programmering . Föreläsningsanteckningar i datavetenskap . Vol. 4719. s. 209–257.
- med Altenkirch, Thorsten; McKinna, James. Varför beroende typer är viktiga (PDF) .
- med Altenkirch, Thorsten, red. (2007). Typer för bevis och program: Internationell workshop . Springer. ISBN 978-3540744634 .
- – (2006). "Några konstruktioner på konstruktörer". Typer för korrektur och program . Föreläsningsanteckningar i datavetenskap. Vol. 3839. s. 186–200. CiteSeerX 10.1.1.65.327 .
- – (2005). "Epigram: Praktisk programmering med beroende typer" (PDF) . Avancerad funktionell programmering . Föreläsningsanteckningar i datavetenskap. Vol. 3622. s. 130–170.
- med McKinna, James (januari 2004). "Utsikten från vänster" (PDF) . Journal of Functional Programming . 14 (1): 69–111. doi : 10.1017/s0956796803004829 . S2CID 6232997 .
- med Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2003). "Derivater av containrar" (PDF) . Proceedings of the 6th International Conference on Machined Lambda Calculi and Applications : 16–30.
- – (2002). "Eliminering med ett motiv" (PDF) . Typer för korrektur och program . Föreläsningsanteckningar i datavetenskap. Vol. 2277. s. 197–216.
- – (2001). Derivatan av en vanlig typ är dess typ av etthålskontexter ( PDF) .
- – (2000). Beroende inskrivna funktionella program och deras bevis (PDF) . University of Edinburgh College of Science and Engineering.
Videoföreläsningar
- McBride, Conor (3 februari 2011). Dependently Typed Programming: An Agda Introduction (första av 15 föreläsningar) (video). Iain McGinniss.
- McBride, Conor (10 september 2012). ICFP 2012 måndags keynote. Conor McBride: Agda-nyfiken? (video). Malcolm Wallace.
externa länkar
- Officiell webbplats , University of Strathclyde
- Officiell hemsida , personlig
- Conor McBride vid Mathematics Genealogy Project
- Conor McBride på DBLP Bibliography Server