マット・カウフマンJJapedia 編集部|更新日: 2026年7月30日マット・カウフマンは、米国テキサス大学オースティン校のコンピュータ科学科の上級研究員である。彼は、ボイヤー・ムーア定理証明器に関する研究で、ロバート・S・ボイヤー、J・ストローザー・ムーアとともに2005年のACMソフトウェアシステム賞を受賞した。[ 1 ]参考文献↑ Matt Kaufman: The Boyer-Moore Theorem Prover (2005) Archived 2009-08-27 at the Wayback Machine , Association for Computing Machinery , 2005.外部リンクマット・カウフマンのホームページDBLP文献情報サーバーのマット・カウフマンカテゴリー：生きている人々アメリカのコンピュータ科学者テキサス大学オースティン校の教員形式手法の専門家Lisp（プログラミング言語）の人々アメリカのコンピュータ科学者のスタブ非表示のカテゴリ:短い説明付きの記事短い説明はWikidataと一致しますhCard付きの記事パラメータが矛盾しているinfobox personを使用しているページウェブアーカイブテンプレートのウェイバックリンク生年不明（存命者）すべてのスタブ記事関連するトピック関連テキサス大学オースティン校関連・ムーア定理証明器関連ロバート・S・ボイヤー関連J・ストローザー・ムーア
