(Q5162250)

English

Conor McBride

Computer Scientist

Conor Thomas McBride

In more languages

Statements

1 reference

imported from Wikimedia project

English Wikipedia

0 references

country of citizenship

0 references

0 references

0 references

18 February 1973

1 reference

imported from Wikimedia project

English Wikipedia

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=Conor_McBride&oldid=946216523

computer scientist

0 references

computer science

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=Conor_McBride&oldid=830019702

0 references

University of Strathclyde

1 reference

ORCID Public Data File 2023

filename in archive

0000-0003-1487-0886.xml

https://pub.orcid.org/v3.0/0000-0003-1487-0886/employment/9501634

1 June 2023

10 November 2023

University of Edinburgh

1 reference

imported from Wikimedia project

English Wikipedia

academic thesis

Dependently typed functional programs and their proofs

1 reference

E-Theses Online Service

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561753

30 August 2018

doctoral advisor

1 reference

Mathematics Genealogy Project

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=152361

8 August 2016

language of work or name

doctoral student

Pierre-Evariste Dagand

1 reference

Mathematics Genealogy Project

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

1 reference

0000000043055408

2 references

Virtual International Authority File

19 October 2021

1 reference

Virtual International Authority File

19 October 2021

Canadiana Name Authority ID

1 reference

Virtual International Authority File

19 October 2021

1 reference

Virtual International Authority File

19 October 2021

National Library of Israel J9U ID

987007424436005171

1 reference

Virtual International Authority File

19 October 2021

Library of Congress authority ID

1 reference

Virtual International Authority File

19 October 2021

0 references

1 reference

Virtual International Authority File

2 September 2020

1 reference

Virtual International Authority File

19 October 2021

WorldCat Identities ID (superseded)

lccn-nb2007024359

1 reference

ACM Digital Library author ID

0 references

1 reference

imported from Wikimedia project

English Wikipedia

Dimensions author ID

013614564517.95

0 references

0 references

Mathematics Genealogy Project ID

0 references

1 reference

Mathematics Genealogy Project

Mathematics Genealogy Project ID

0 references

0000-0003-1487-0886

0 references

zbMATH author ID

mcbride.conor-thomas

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Conor McBride

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q5162250&oldid=2121714122"