Quelltext der Seite J Strother Moore

[[Datei:J Strother Moore FLoC 2006.jpg|miniatur|J Strother Moore]]
'''J Strother Moore''' (* [[11. September]] [[1947]] in [[Seminole (Oklahoma)|Seminole]], [[Oklahoma]])<ref>Lebensdaten nach ''American Men and Women of Science'', Thomson Gale 2004</ref> ist ein [[Vereinigte Staaten|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'').<ref>[https://genealogy.math.ndsu.nodak.edu/id.php?id=102545 Mathematics Genealogy Project]</ref> 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 (Texas)|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.<ref>Die Gesellschaft bestand bis 1997. [http://www.computationallogic.com/ Website]</ref>

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.

== Schriften ==
* mit Boyer ''Computational Logic'', Academic Press 1979
* mit Boyer ''A Computational Logic Handbook'', Academic Press 1988
* mit Matt Kaufmann, Panagiotis Manolios ''Computer-aided reasoning: an approach'', Kluwer 2000
* Herausgeber mit Kaufmann, Manolios ''Computer-aided reasoning: ACL2 case studies'', Kluwer 2000
* ''Piton: a mechanically verified assembly-level language'', Kluwer 1996
* Herausgeber mit Boyer ''The correctness problem in computer science'', Academic Press 1981

== Weblinks ==
{{Commonscat}}
* [https://www.cs.utexas.edu/~moore/ Homepage]

== Einzelnachweise ==
<references/>

{{Normdaten|TYP=p|GND=122924843|LCCN=n/79/73002|VIAF=47656419}}

{{SORTIERUNG:Moore, J Strother}}
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (University of Texas at Austin)]]
[[Kategorie:Mitglied der National Academy of Engineering]]
[[Kategorie:US-Amerikaner]]
[[Kategorie:Geboren 1947]]
[[Kategorie:Mann]]
[[Kategorie:Mitglied der Association for the Advancement of Artificial Intelligence]]
[[Kategorie:Mitglied der Association for Computing Machinery]]

{{Personendaten
|NAME=Moore, J Strother
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=US-amerikanischer Informatiker
|GEBURTSDATUM=11. September 1947
|GEBURTSORT=[[Seminole (Oklahoma)|Seminole]], Oklahoma
|STERBEDATUM=
|STERBEORT=
}}