J Strother Moore

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 1 février 2022 à 12:11 et modifiée en dernier par Vers75 (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
J Strother Moore
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Rod Burstall (en)Voir et modifier les données sur Wikidata
Distinctions
Liste détaillée
AAAI Fellow ()
Prix Herbrand ()
Prix ACM Software System ()
ACM FellowVoir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

J Strother Moore (né le à Seminole (Oklahoma)[1]) est un informaticien américain. Il est professeur à l'université du Texas à Austin.

La lettre J est son prénom et n'est pas une abréviation.

Carrière

Moore étudie au Massachusetts Institute of Technology (MIT) et obtient un Bachelor en 1970. En 1973 , il soutient un Ph. D. à l'université d'Édimbourg sous la supervision de Rodney Burstall (en) (Computational Logic: Structure Sharing and Proof of Program Properties)[2]. De 1973 à 1976, Moore est chercheur au Palo Alto Research Center , puis à partir de 1976 au Stanford Research Institute. À partir de 1983 il est professeur à l'université du Texas à Austin, à la fin titulaire de la Admiral B. R. Inman Centennial Chair. De 2001 à 2009 Moore dirige la faculté d'informatique. En 1983 il fonde, avec Robert S. Boyer, l'entreprise Computational Logic Inc. à Austin, et pendant dix ans il en est le directeur scientifique[3].

Moore est un alpiniste passionné.

Travaux

Moore a développé, avec Robert Boyer, l'algorithme de recherche de sous-chaîne appelé l'algorithme de Boyer-Moore. Par ailleurs, ils ont conçu un programme de démonstration automatique appelé le Boyer-Moore Theorem Prover ou Nqthm (en), (992). Pour ce travail, ils ont reçu en 2005, avec Matt Kaufmann, le prix ACM Software System. Ils ont développé Nqthm en un système de démonstration automatique qui porte le nom ACL2.

Prix et distinctions

Avant le prix ACM Software System en 2005, Boyer et Moore obtiennent le prix Herbrand en 1999 et en 1991 le Current Prize in Automatic Theorem Proving de l'American Mathematical Society. Moore est Fellow de l'Association for the Advancement of Artificial Intelligence, de l'Association for Computing Machinery et de l'Académie nationale d'ingénierie des États-Unis. En 2015 il est élu membre correspondant de la Royal Society of Edinburgh.

Publications

  • (en) avec Robert S. Boyer, A computational Logic, New York, Academic Press, coll. « ACM monograph series, Academic Press », , xiv+397 (ISBN 978-0-12-122950-4)
  • éditeur avec Robert S. Boyer, The correctness problem in computer science, Academic Press,
  • avec Robert S. Boyer, A Computational Logic Handbook, Academic Press, — Id., Academic Press, coll. « International series in formal methods », , 2e éd., xxv +518 (ISBN 978-0-12-122955-9)
  • Piton : a mechanically verified assembly-level language, Kluwer,
  • avec Matt Kaufmann et Panagiotis Manolios, Computer-aided reasoning : an approach, Kluwer,
  • éditeur avec Matt Kaufmann et Panagiotis Manolios, Computer-aided reasoning : ACL2 case studies = Kluwer,

Notes et références

  1. ↑ Données d'après American Men and Women of Science, Thomson Gale 2004.
  2. ↑ (en) « J Strother Moore », sur le site du Mathematics Genealogy Project.
  3. ↑ La société a existé jusqu'en 1997. « Page de Computational Logic ».

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=J_Strother_Moore&oldid=190430117 ».