Robert S. Boyer
Scientist, Author
10 Views
Who is Robert S. Boyer?
Robert Stephen Boyer, aka Bob Boyer, is a 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. Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called ACL2.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Robert S. Boyer." Biographies.net. STANDS4 LLC, 2024. Web. 26 Apr. 2024. <https://www.biographies.net/people/en/robert_s_boyer>.
Powered by CITE.ME
Discuss this Robert S. Boyer biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In