J・ストロザー・ムーア

J・ストロザー・ムーア
2006年のムーア
国籍	アメリカ人
教育	マサチューセッツ工科大学( BS ) エディンバラ大学( PhD )
職業	コンピュータ科学者
知られている	ボイヤー・ムーア文字列検索アルゴリズム ボイヤー・ムーア多数決アルゴリズム Nqthm
受賞歴	エルブラン賞(1999) ACM ソフトウェアシステム賞(2005)
Webサイト	www.cs.utexas.edu/users/moore/

J ストロザー ムーア(ファースト ネームのアルファベット文字は「J」であり、省略形の「J」ではない) は、アメリカのコンピュータ サイエンティストです。彼は、ボイヤー–ムーア文字列検索アルゴリズム、ボイヤー–ムーア多数決アルゴリズム、およびボイヤー–ムーア自動定理証明器Nqthmの共同開発者です。彼は、ピース テーブルデータ構造や初期の論理プログラミングなどの構造共有に先駆的な貢献をしました。ボイヤー–ムーア文字列検索アルゴリズムの動作の例は、ムーアの Web サイトで確認できます。ムーアは、 1970 年にマサチューセッツ工科大学で数学の理学士号(BS)を取得し、1973 年にスコットランドのエディンバラ大学で計算論理学の博士号(Ph.D.) ^{[1]を取得しました。 [2]}

さらに、ムーアはACL2自動定理証明器とその前身であるNqthmの共同著者でもあり、ロバート S. ボイヤー、マット カウフマンとともに 2005 ACM ソフトウェア システム賞を受賞しました。ムーアと他の研究者は、 Pentium FDIV バグを受けて、AMD K5 マイクロプロセッサの浮動小数点除算演算の正しさを ACL2 を使用して証明しました。

ムーアは自動推論への貢献により、ロバート・S・ボイヤーとともに1999年のエルブラン賞を受賞し、^[3] 2006年には計算機学会フェローに選出された。ムーアは、計算機システムの自動推論への貢献により、2007年に米国技術アカデミーの会員に選出された。また、AAAIのフェローでもある。^[4] 2015年にはエディンバラ王立協会の通信員に選出された。 ^[5]

彼は現在、テキサス大学オースティン校のコンピューティング理論におけるアドミラル BR インマンセンテニアル チェアを務めており、2001 年から 2009 年まではコンピュータ サイエンス学部の学部長を務めていました。

コンピュータサイエンス学部の学部長に就任する前、彼はテキサス大学オースティン校の親友や自動推論の分野で高く評価されている教授の一人であるロバート・S・ボイヤー氏を含む他の人々と共に、Computational Logic Inc. という会社を設立しました。

ムーアはロッククライミングを楽しんでいる。^[6]

• ボイヤー・ムーア多数決アルゴリズム

ウィキメディア・コモンズには、J・ストロザー・ムーアに関連するメディアがあります。

• 公式サイト
• 「私の」ベストアイデア (J Strother Moore のホームページより)
• ボイヤー・ムーア高速文字列検索アルゴリズム
• マシン マシンについての推論、 2011年にEPFLで行われたJ Strother Mooreの講演。彼の研究の概要を紹介している。