Robert S. Boyer American Scientist
Robert S. Boyer dating history
Who
are they
dating right now?
According to our records, Robert S. Boyer is possibly single.
Relationships
We have no records of past relationships for Robert S. Boyer.
About
Robert S. Boyer is a 79 year old American Scientist born on 2nd August, 1946 in Washington, D. C.. Their zodiac sign is Leo
Robert S. Boyer is a member of the following lists: 1946 births, Alumni of the University of Edinburgh and American scientists.
Contribute
Who is Robert S. Boyer dating? Robert S. Boyer partner, spouse list. Help us build our profile of Robert S. Boyer!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| First Name |
Robert
|
| Middle Name |
S.
|
| Last Name |
Boyer
|
| Birthday |
2nd August, 1946
|
| Birthplace |
Washington, D. C.
|
| Zodiac Sign |
Leo
|
| Nationality |
American
|
| Occupation Text |
Computer scientist, mathematician
|
| Occupation |
Scientist
|
| Official Websites |
https://www.cs.utexas.edu/~boyer/
|
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.
More about Robert S. Boyer
Less about Robert S. Boyer
