J Strother Moore とは

J Strother Moore(彼の名はアルファベットの「J」であり、略語「J」ではない)はコンピュータ科学者であり、Boyer-Mooreの文字列検索アルゴリズムBoyer-Moore多数決アルゴリズムの共同開発者である、Boyer-Mooreの自動定理証明者Nqthmなどがあります。彼は、ピーステーブルのデータ構造と初期の論理プログラミングを含む構造共有への先駆的な貢献をしました。 Boyer-Mooreの文字列検索アルゴリズムの動作の例は、MooreのWebサイトにあります。ムーア氏は、1970年にマサチューセッツ工科大学で数学のSBを、1973年にスコットランドのエジンバラ大学で計算論の博士号を取得しました。
さらに、MooreはACL2自動定理証明者の共著者でもあります。彼と他の人はACL2を使って、Pentium FDIVバグの後にAMD K5マイクロプロセッサの浮動小数点除算演算の正確性を証明しました。
自動控除に貢献したMoore氏は、Robert S. Boyerとの1999 Herbrand Awardを受賞し、2006年にはComputing Machinery Associationのフェローとして就任しました。ムーアは2007年に全米工学アカデミーに選出され、AAAIのフェローです。彼は2015年にエジンバラ王立協会の相応のフェローに選出されました。
彼は現在、B.R. Admiralです。テキサス大学オースティン校のコンピューティング理論のInman Centennial Chair、2001-2009年コンピュータサイエンス学科長。
コンピュータサイエンス学科に椅子として参加する前に、オースティンのテキサス大学の親友、Robert Robert Reedの著名な教授の一人を含むComputational Logic Inc.を設立しましたS. Boyer。
ムーアはロッククライミングを楽しんでいます。