Robert Stephen Boyer, aka Bob Boyer, is a retired professor

Professor

A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...

 of computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

, mathematics

Mathematics

Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

, and philosophy

Philosophy

Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...

 at The University of Texas at Austin

University of Texas at Austin

The University of Texas at Austin is a state research university located in Austin, Texas, USA, and is the flagship institution of the The University of Texas System. Founded in 1883, its campus is located approximately from the Texas State Capitol in Austin...

. He and J Strother Moore

J Strother Moore

J Strother Moore is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and the Boyer–Moore automated theorem prover, Nqthm. An example of the workings of the Boyer–Moore string search algorithm is given...

 invented the Boyer–Moore string search algorithm

Boyer–Moore string search algorithm

The Boyer–Moore string search algorithm is a particularly efficient string searching algorithm, and it has been the standard benchmark for the practical string search literature. It was developed by Bob Boyer and J Strother Moore in 1977...

, a particularly efficient string searching algorithm

String searching algorithm

String searching algorithms, sometimes called string matching algorithms, are an important class of string algorithms that try to find a place where one or several strings are found within a larger string or text....

, in 1977. He and Moore also collaborated on the Boyer–Moore automated theorem prover, Nqthm

Nqthm

Nqthm is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2.- History :The system was developed by Robert S. Boyer and J Strother Moore, professors of computer science at the University of Texas, Austin. They began work on the system in 1971 in...

, in 1992. Following this, he worked with Moore, and Matt Kaufmann on another theorem prover called ACL2.

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.

External links

• Home page of Robert S. Boyer. Accessed March 21, 2009.
• University of Texas, College of Liberal Arts Honors Retired Faculty - 2008. Accessed March 21, 2009.