Robert S. Boyer (original) (raw)

dbo:abstract

روبرت إس. بوير (بالإنجليزية: Robert S. Boyer)‏ هو مهندس وفيلسوف وعالم حاسوب أمريكي، ولد في القرن العشرين. (ar)
Robert Stephen Boyer (geb. vor 1971) ist ein US-amerikanischer Informatiker. Er war Professor an der University of Texas at Austin. Boyer studierte an der University of Texas at Austin, an der er 1971 bei Woody Bledsoe promoviert wurde (Locking: A restriction to resolution). 1970/71 forschte er am AI Lab des Massachusetts Institute of Technology und 1971 bis 1973 an der University of Edinburgh. Ab 1973 war er Wissenschaftler bei SRI International in Menlo Park und ab 1981 Professor an der University of Texas at Austin. 2008 emeritierte er. 1985 bis 1987 forschte er außerdem bei der Microelectronics and Computer Technology Corporation in Austin und 1993 bis 1995 bei Computational Logic Inc. in Austin. Er entwickelte mit J Strother Moore den Boyer-Moore-Algorithmus (ein String-Matching-Algorithmus) und ein automatisches Beweisprogramm, den Boyer-Moore Theorem Prover (Nqthm, 1992), für das beide mit Matt Kaufmann 2005 den ACM Software System Award erhielten. Mit Kaufmann und Moore entwickelte er ein weiteres automatisches Beweissystem ACL2 (A Computational Logic for Applicative Common Lisp). 1999 erhielt er den Herbrand Award. (de)
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. (en)
Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)

dbo:education

dbo:employer

dbr:University_of_Texas_at_Austin

dbo:knownFor

dbo:occupation

dbo:wikiPageExternalLink

dbo:wikiPageID

4384637 (xsd:integer)

dbo:wikiPageLength

3005 (xsd:nonNegativeInteger)

dbo:wikiPageRevisionID

1079076903 (xsd:integer)

dbo:wikiPageWikiLink

dbp:education

Ph.D. in Mathematics (en)

dbp:employer

dbr:University_of_Texas_at_Austin

dbp:knownFor

dbp:name

Robert S. Boyer (en)

dbp:nationality

American (en)

dbp:occupation

dbp:wikiPageUsesTemplate

dct:subject

gold:hypernym

dbr:Professor

schema:sameAs

http://viaf.org/viaf/46821597

rdf:type

rdfs:comment

روبرت إس. بوير (بالإنجليزية: Robert S. Boyer)‏ هو مهندس وفيلسوف وعالم حاسوب أمريكي، ولد في القرن العشرين. (ar)
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. (en)
Robert Stephen Boyer est un informaticien américain. Il a été professeur à l'université du Texas à Austin. (fr)
Robert Stephen Boyer (geb. vor 1971) ist ein US-amerikanischer Informatiker. Er war Professor an der University of Texas at Austin. Boyer studierte an der University of Texas at Austin, an der er 1971 bei Woody Bledsoe promoviert wurde (Locking: A restriction to resolution). 1970/71 forschte er am AI Lab des Massachusetts Institute of Technology und 1971 bis 1973 an der University of Edinburgh. Ab 1973 war er Wissenschaftler bei SRI International in Menlo Park und ab 1981 Professor an der University of Texas at Austin. 2008 emeritierte er. 1999 erhielt er den Herbrand Award. (de)

rdfs:label