J Strother Moore

miniatur|J Strother Moore J Strother Moore (* 11. September 1947 in Seminole, Oklahoma) ist ein US-amerikanischer Informatiker. Er ist Professor an der University of Texas at Austin.

Der Namensbestandteil ''J'' ist sein Vorname und keine Abkürzung.

Moore studierte am Massachusetts Institute of Technology (MIT) mit dem Bachelor-Abschluss 1970. Er wurde 1973 an der University of Edinburgh bei Rodney Burstall promoviert (''Computational Logic: Structure Sharing and Proof of Program Properties''). Von 1973 bis 1976 war er Wissenschaftler in Xerox Parc und ab 1976 am ''Stanford Research Institute''. Ab 1983 war er Professor an der University of Texas in Austin (zuletzt auf einem ''Admiral B. R. Inman Centennial Chair''). Von 2001 bis 2009 stand er der Fakultät für Informatik vor. Er war 1983 mit Robert S. Boyer einer der Gründer von ''Computational Logic Inc.'' in Austin und war zehn Jahre dessen Chefwissenschaftler.

Er entwickelte mit Boyer den Boyer-Moore-Algorithmus (ein String-Matching-Algorithmus) und ein automatisches Beweisprogramm, den ''Boyer-Moore Theorem Prover'' (Nqthm, 1992), für das beide mit Matt Kaufmann 2005 den ACM Software System Award erhielten. Mit Kaufmann und Boyer entwickelte er das automatische Beweissystem ACL2.

1999 erhielt er mit Boyer den ''Herbrand Award'' und 1991 den ''Current Prize in Automatic Theorem Proving'' der American Mathematical Society. Er ist Fellow der American Association for Artificial Intelligence, der Association for Computing Machinery und der National Academy of Engineering.

Moore ist passionierter Felskletterer. Veröffentlicht in Wikipedia