(Q4757895)

English

Andrew Martin

computer scientist

Andrew P. Martin
Andrew Philip Martin

In more languages

Statements

1 reference

imported from Wikimedia project

English Wikipedia

1 reference

based on heuristic

inferred from person's full name

0 references

0 references

computer scientist

0 references

0 references

University of Southampton

0 references

University of Queensland

0 references

University of Oxford

1 September 1999

1 reference

ORCID Public Data File 2023

filename in archive

0000-0002-8236-980X.xml

https://pub.orcid.org/v3.0/0000-0002-8236-980X/employment/307922

6 December 2015

10 November 2023

University of Oxford

0 references

academic thesis

Machine-assisted theorem-proving for software engineering

1 reference

E-Theses Online Service

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

30 August 2018

UK Computing Research Committee

1 reference

https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/

Identifiers

ACM Digital Library author ID

0 references

0 references

Dimensions author ID

0 references

0 references

Google Scholar author ID

0 references

0000-0002-8236-980X

0 references

Scopus author ID

0 references

Who's Who UK ID

0 references

Sitelinks

Wikipedia(2 entries)

enwiki Andrew Martin (computer scientist)
mgwiki Andrew Martin

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=Q4757895&oldid=2120673459"