Robert S. Boyer
American mathematician, computer scientist and philosopher / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Robert S. Boyer?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
This article is about the professor of computer science. For other people, see Robert Boyer (disambiguation).
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]
Quick Facts Nationality, Education ...
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 |
Close