ロバート・S・ボイヤー

ロバート・スティーブン・ボイヤーは、テキサス大学オースティン校のコンピューターサイエンス、数学、哲学の元教授である。1977年、彼はJ・ストロザー・ムーアとともに、特に効率的な文字列検索アルゴリズムであるボイヤー・ムーア文字列検索アルゴリズムを発明した。また、1992年には、ボイヤー・ムーア自動定理証明器Nqthmをムーアと共同で開発した。 ^[2]その後、彼はムーアやマット・カウフマンとともに、 ACL2と呼ばれる別の定理証明器の開発に取り組んだ。1991年にAAAIフェローに選出された。^[3]

ボイヤーは、以下の本を含め、多数の書籍を出版しています。

• 計算論理ハンドブック、J S. ムーア共著。第 2 版。Academic Press、ロンドン、1998 年。
• 自動推論：ウッディ・ブレッドソーを讃えるエッセイ集、編者：Kluwer Academic、ドルドレヒト、オランダ、1991年。
• 計算論理ハンドブック、J S. ムーア共著。Academic Press、ニューヨーク、1988 年。
• 『コンピュータサイエンスにおける正確性の問題』、J S. ムーアとの共編著。Academic Press、ロンドン、1981年。
• 『計算論理』、J S. ムーア共著。Academic Press、ニューヨーク、1979年。

• ボイヤー・ムーア多数決アルゴリズム
• QED マニフェスト

• Robert S. Boyer のホームページ。2016 年 2 月 18 日にアクセス。
• テキサス大学教養学部、退職教員表彰 - 2008 年。^{[リンク切れ‍ ]} 2009 年 3 月 21 日にアクセス。