Content deleted Content added
m →Publications: simplify |
added AAAI Fellow |
||
| (37 intermediate revisions by 32 users not shown) | |||
Line 1:
{{short description|American mathematician, computer scientist and philosopher}}
{{About|the professor of computer science|other people|Robert Boyer (disambiguation)}}
'''Robert Stephen Boyer''', aka '''Bob Boyer''', is a retired [[professor]] of [[computer science]], [[mathematics]], and [[philosophy]] at [[University of Texas at Austin|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.<ref name="nqthm">{{cite web|title=Nqthm, the Boyer-Moore prover|url=http://www.cs.utexas.edu/~boyer/ftp/nqthm/|accessdate=2006-04-21}}</ref> Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called [[ACL2]]. ▼
{{Infobox person
|name = Robert S. Boyer
|image =
|image_size =
|caption =
|birth_date = <!-- {{birth date and age|1923|MM|DD}} -->
|birth_place =
|death_date =
|death_place =
|other_names =
|alma_mater =
|education = [[Doctor of Philosophy|Ph.D.]] in [[Mathematics]]
|known_for = [[Boyer–Moore string-search algorithm]], [[Nqthm]], [[ACL2]]
|employer = [[University of Texas at Austin|The University of Texas at Austin]]<br>[[University of Edinburgh]]
|occupation = [[Computer scientist]], [[mathematician]]
|awards =
|nationality = American
}}
▲'''Robert Stephen Boyer'''
== Publications ==▼
▲==Publications==
Boyer has published extensively, including the following books:
*''A Computational Logic Handbook'', with J S. Moore. Second Edition. Academic Press, London, 1998. ▼
*''Automated Reasoning: Essays in Honor of Woody Bledsoe'', editor. Kluwer Academic, Dordrecht, The Netherlands, 1991.▼
*''A Computational Logic Handbook'', with J S. Moore. Academic Press, New York, 1988.▼
*''The Correctness Problem in Computer Science'', editor, with J S. Moore. Academic Press, London, 1981.▼
*''A Computational Logic'', with J S. Moore. Academic Press, New York, 1979.▼
▲* ''A Computational Logic Handbook'', with J S. Moore. Second Edition. Academic Press, London, 1998.
==References==▼
▲* ''Automated Reasoning: Essays in Honor of Woody Bledsoe'', editor. Kluwer Academic, Dordrecht, The Netherlands, 1991.
▲* ''A Computational Logic Handbook'', with J S. Moore. Academic Press, New York, 1988.
▲* ''The Correctness Problem in Computer Science'', editor, with J S. Moore. Academic Press, London, 1981.
▲* ''A Computational Logic'', with J S. Moore. Academic Press, New York, 1979.
== See also ==
{{Portal|Biography|Mathematics}}
* [[Boyer–Moore majority vote algorithm]]
* [[QED manifesto]]
▲== References ==
{{reflist}}
==External links==
*[http://www.cs.utexas.edu/~boyer/ Home page of Robert S. Boyer]. Accessed
*[http://www.utexas.edu/cola/college_news/current/retiredfaculty08/ University of Texas, College of Liberal Arts Honors Retired Faculty - 2008]. Accessed March 21, 2009.
*[http://www.genealogy.ams.org/id.php?id=13163 Robert Stephen Boyer] at the [[Mathematics Genealogy Project]]
{{Authority control}}
{{DEFAULTSORT:Boyer, Robert S.}}
[[Category:Living people]]
[[Category:Alumni of the University of Edinburgh
[[Category:University of Texas at Austin faculty]]
[[Category:Fellows of the
[[Category:Year of birth missing (living people)]]
[[Category:Formal methods people]]
[[Category:Lisp (programming language) people]]
| |||