Conor McBride

Conor McBride
Född ( 1973-02-18 ) 18 februari 1973 (50 år)
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

Videoföreläsningar

externa länkar