Robert Stephen Boyer, aka Bob 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. 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.

PropertyValue
dbpprop:aboutProperty
  • Robert Boyer
  • the former University of Texas professor
  • the victim of Charles Whitman's 1966 shooting spree
dbpprop:abstract
  • Robert Stephen Boyer, aka Bob 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. 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.
dbpprop:hasPhotoCollection
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdf:type
rdfs:comment
  • Robert Stephen Boyer, aka Bob 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. 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.
rdfs:label
  • Robert S. Boyer
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of
is owl:sameAs of