Robert S. Boyer
(1946-)
American mathematician, computer scientist and philosopher
About
Jump to
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. Following this, he worked with Moore and Matt Kaufmann on another theorem prover called ACL2. He was elected AAAI Fellow in 1991.
Key details
edit section
| Born |
2 August 1946 (age 79) Washington, D. C.
|
| Zodiac | Leo |
| Tags | Add tag |
Partner
Family members
Romantic interests
Friends & associates
Scholars
Please be the first to contribute to this page!
Missing information for Robert S. Boyer
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add profile photo
- add banner photo
- add photos to gallery
- missing current partner
Similar profiles
10
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
