Robert S. Boyer
From Wikipedia, the free encyclopedia
This article is about the former University of Texas professor. For the victim of Charles Whitman's 1966 shooting spree, see Robert 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.[1] Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called ACL2.
[edit] Publications
Boyer has published extensively, including the following books:
- A Computational Logic Handbook, with J S. Moore. Second Edition. Academic Press, London, 1998.
- Automated Reasoning: Essays in Honor of Woody Bledsoe, editor. Kluwer Academic, Dordrecht, The Netherlands, 1991.
- A Computational Logic Handbook, with J S. Moore. Academic Press, New York, 1988.
- The Correctness Problem in Computer Science, editor, with J S. Moore. Academic Press, London, 1981.
- A Computational Logic, with J S. Moore. Academic Press, New York, 1979.
[edit] References
- ^ "Nqthm, the Boyer-Moore prover". http://www.cs.utexas.edu/~boyer/ftp/nqthm/. Retrieved 2006-04-21.
[edit] External links
- Home page of Robert S. Boyer. Accessed March 21, 2009.
- University of Texas, College of Liberal Arts Honors Retired Faculty - 2008. Accessed March 21, 2009.
This biography of an American philosopher is a stub. You can help Wikipedia by expanding it. |
This article about a mathematician from the United States is a stub. You can help Wikipedia by expanding it. |
This biographical article relating to a computer specialist in the United States is a stub. You can help Wikipedia by expanding it. |
Categories: American scientists | Living people | Alumni of the University of Edinburgh | University of Texas at Austin faculty | Fellows of the Association for the Advancement of Artificial Intelligence | Formal methods people | American philosopher stubs | American mathematician stubs | United States computer specialist stubs