Category:J Strother Moore

**J Strother Moore**
	American computer scientist
	Upload media
	Wikipedia
Date of birth	11 September 1947; Seminole
Country of citizenship	United States of America;
Educated at	Massachusetts Institute of Technology; University of Edinburgh (Doctor of Philosophy, 1970–1973);
Doctoral advisor	Rod Burstall;
Doctoral student	Panagiotis Pete Manolios; Sandip Ray;
Occupation	computer scientist; engineer; university teacher;
Employer	PARC; SRI International; University of Texas at Austin (1981–);
Member of	National Academy of Engineering; Association for Computing Machinery (ACM Fellow, 2007–);
Award received	ACM Software System Award (2005); Herbrand Award (1999); ACM Fellow (2006); AAAI Fellow (1991);
Authority file
	Q6109434; ISNI: 0000000108971547; VIAF ID: 47656419; GND ID: 122924843; Library of Congress authority ID: n79073002; IdRef ID: 156103737; Libraries Australia ID: 35924416; Nationale Thesaurus voor Auteursnamen ID: 068287941; NORAF ID: 90222685; NUKAT ID: n98001253; J9U ID: 987007457420005171; NACSIS-CAT author ID: DA02534480; ORCID iD: 0000-0002-9628-1702; Mathematics Genealogy Project ID: 102545
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

English: J Strother Moore is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and the Boyer–Moore automated theorem prover, Nqthm.