Robert Stephen Boyer is an American retired
professor
Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...
of
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
,
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, and
philosophy
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
at
The University of Texas at Austin
The University of Texas at Austin (UT Austin, UT, or Texas) is a public research university in Austin, Texas, United States. Founded in 1883, it is the flagship institution of the University of Texas System. With 53,082 students as of fall 2 ...
. He and
J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is an American computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boy ...
invented the
Boyer–Moore string-search algorithm
In computer science, the Boyer–Moore string-search algorithm is an efficient string-searching algorithm that is the standard benchmark for practical string-search literature. It was developed by Robert S. Boyer and J Strother Moore in 1977.
...
, a particularly efficient
string searching algorithm
A string-searching algorithm, sometimes called string-matching algorithm, is an algorithm that searches a body of text for portions that match by pattern.
A basic example of string searching is when the pattern and the searched text are arrays of ...
, 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
Matt Kaufmann is a senior research scientist in the department of computer sciences at the University of Texas at Austin, United States. He was a recipient of the 2005 ACM Software System Award along with Robert S. Boyer and J Strother Moore, for ...
on another theorem prover called
ACL2
ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. ACL2 is designed to support automated reasoning i ...
. He was elected
AAAI
The Association for the Advancement of Artificial Intelligence (AAAI) is an international scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artif ...
Fellow in 1991.
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.
See also
*
Boyer–Moore majority vote algorithm
The Boyer–Moore majority vote algorithm is an algorithm for finding the majority of a sequence of elements using linear time and a constant number of words of memory. It is named after Robert S. Boyer and J Strother Moore, who published it in 1 ...
*
QED manifesto
References
External links
Home page of Robert S. Boyer Accessed February 18, 2016.
University of Texas, College of Liberal Arts Honors Retired Faculty - 2008 Accessed March 21, 2009.
Living people
Alumni of the University of Edinburgh
University of Texas at Austin faculty
Fellows of the Association for the Advancement of Artificial Intelligence
Formal methods people
Lisp (programming language) people
1946 births
{{US-compu-bio-stub