J Strother Moore

from Wikipedia, the free encyclopedia
J Strother Moore

J Strother Moore (born September 11, 1947 in Seminole , Oklahoma ) is an American computer scientist . He is a professor at the University of Texas at Austin .

The name component J is his first name and not an abbreviation.

Moore graduated from the Massachusetts Institute of Technology (MIT) with a bachelor's degree in 1970. He received his doctorate in 1973 from the University of Edinburgh with Rodney Burstall ( Computational Logic: Structure Sharing and Proof of Program Properties ). From 1973 to 1976 he was a scientist at Xerox Parc and from 1976 at the Stanford Research Institute . From 1983 he was a professor at the University of Texas at Austin (most recently on an Admiral BR Inman Centennial Chair ). From 2001 to 2009 he was head of the Faculty of Computer Science. In 1983 he was one of the founders of Computational Logic Inc. in Austin with Robert S. Boyer and was its chief scientist for ten years.

Together with Boyer he developed the Boyer-Moore algorithm (a string-matching algorithm ) and an automatic proof program, the Boyer-Moore Theorem Prover (Nqthm, 1992), for which both together with Matt Kaufmann received the ACM Software System Award in 2005 . With Kaufmann and Boyer, he developed the ACL2 automatic evidence system.

In 1999 he received the Herbrand Award with Boyer and in 1991 the Current Prize in Automatic Theorem Proving of the American Mathematical Society . He is a Fellow of the American Association for Artificial Intelligence , the Association for Computing Machinery, and the National Academy of Engineering .

Moore is a passionate rock climber.

Fonts

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

Web links

Individual evidence

  1. ↑ Life data according to American Men and Women of Science , Thomson Gale 2004
  2. ^ Mathematics Genealogy Project
  3. ^ The company existed until 1997. Website
personal data
SURNAME Moore, J Strother
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH September 11, 1947
PLACE OF BIRTH Seminole , Oklahoma