Robert S. Boyer | |
|---|---|
| Nationality | American |
| Education | Ph.D. in Mathematics |
| Occupation(s) | Computer scientist, mathematician |
| Employer(s) | The University of Texas at Austin University of Edinburgh |
| Known for | Boyer–Moore string-search algorithm, Nqthm, ACL2 |
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.[1] Following this, he worked with Moore and Matt Kaufmann on another theorem prover called ACL2. He was elected AAAI Fellow in 1991.[2]
YouTube Encyclopedic
-
1/3Views:96118 03858 097
-
dotGo 2017 - sam boyer - The Functional Design of Dep
-
Boyer Moore Algorithm for Pattern Searching
-
Computer Science - A Guide for the Perplexed • Joe Armstrong • GOTO 2018
Transcription
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.
See also
References
- ^ "Nqthm, the Boyer–Moore prover". Retrieved 2006-04-21.
- ^ "Elected AAAI Fellows". AAAI. Retrieved 2024-01-02.
External links
- Home page of Robert S. Boyer. Accessed February 18, 2016.
- University of Texas, College of Liberal Arts Honors Retired Faculty - 2008. Accessed March 21, 2009.
- Robert Stephen Boyer at the Mathematics Genealogy Project
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This biography of an American philosopher is a stub. You can help Wikipedia by expanding it. |
   | This article about an American mathematician 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. |
This page was last edited on 2 January 2024, at 19:03