Robert S. Boyer

This article is about the professor of computer science. For other people, see Robert Boyer (disambiguation).
Robert S. Boyer
Nationality United States
Education Mathematics (Ph.D.)
Occupation Computer scientist, Mathematician
Employer The University of Texas at Austin
Known for Boyer–Moore string search algorithm, Nqthm, ACL2

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.[1] Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called ACL2.

Publications

Boyer has published extensively, including the following books:

See also

References

  1. "Nqthm, the Boyer–Moore prover". Retrieved 2006-04-21.

External links


This article is issued from Wikipedia - version of the Thursday, March 24, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.