Robert S. Boyer
id:
robert-s-boyer-284-3737416
title:
Robert S. Boyer
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
American mathematician, computer scientist and philosopher
original url:
https://en.wikipedia.org/wiki/Robert_S._Boyer
date created:
date modified:
2024-01-02T19:03:21Z
main entity:
{"identifier":"Q4588776","url":"https://www.wikidata.org/entity/Q4588776"}
image:
fields total:
13
integrity:
14