Robert S. Boyer
| Use attributes for filter ! | |
| Doctoral advisor | Woody Bledsoe |
|---|---|
| Known for | Boyer–Moore string-search algorithm |
| Nqthm | |
| ACL2 | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2876401 |
About Robert S. Boyer
Robert Stephen 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.
