Robert Stephen Boyer is an American retired professor of computer science, mathematics and philosophy at the University of Texas at Austin. He and J Strother Moore invented the Boyer-Moore string-search algorithm, a particularly efficient string searching algorithm, in 1977. He and Moore also collaborated on the Boyer-Moore automated theorem prover, Nqthm, in 1992, and following that he worked with Moore and Matt Kaufmann on another theorem prover called ACL2. He was elected an AAAI Fellow in 1991.
Facts
Connections
Invented
Source Wikipedia: Boyer-Moore Algorithm
The Boyer-Moore-Horspool algorithm is a simplification of the Boyer-Moore string search algorithm, which Robert S. Boyer co-published with J Strother Moore in 1977.
In the Other Atlases
Sources
1. Wikipedia: Robert S. Boyer
Wikimedia FoundationLead sentence
Robert Stephen Boyer is an American retired professor of computer science
Infobox: Born
Born (1946-08-02) August 2, 1946
View the Source Robert S. Boyer (Wikidata)
Wikidata alias: Robert Stephen Boyer
Robert Stephen Boyer
Wikidata P166: AAAI Fellow
Wikidata P166 (award received): AAAI Fellow.
Wikidata P166: Herbrand Award
Wikidata P166 (award received): Herbrand Award.
Wikidata P166: ACM Software System Award
Wikidata P166 (award received): ACM Software System Award.
Wikidata alias: Bob Boyer
Bob Boyer
View the SourceWikipedia: Boyer-Moore Algorithm
Wikimedia FoundationInvented: Boyer-Moore Algorithm, Description sectionQuote, Invented: Boyer-Moore Algorithm, Description section
It was developed by Robert S. Boyer and J Strother Moore in 1977.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.