Robert S. Boyer

Scientist, Author

10

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!

Also known as
  • Robert Boyer
  • R.S. Boyer
Nationality
  • United States of America
Profession
Employment
  • University of Texas at Austin

Submitted
on July 23, 2013

Citation

Use the citation below to add to a bibliography:

Style:MLAChicagoAPA

"Robert S. Boyer." Biographies.net. STANDS4 LLC, 2022. Web. 17 Aug. 2022. <https://www.biographies.net/people/en/robert_s_boyer>.

Discuss this Robert S. Boyer biography with the community:

0 Comments


    Browse Biographies.net