J Strother Moore
The name component J is his first name and not an abbreviation.
Moore studied at the Massachusetts Institute of Technology (MIT) with a Bachelor 's degree in 1970, he was in 1973 at the University of Edinburgh at Rodney Burstall PhD ( 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 professor at the University of Texas at Austin ( last Admiral BR Inman Centennial on a Chair ). From 2001 to 2009 he was standing in front of the faculty of computer science. He was in 1983 with Robert S. Boyer one of the founders of Computational Logic Inc. in Austin and was ten years its chief scientist.
He developed with Boyer the Boyer- Moore algorithm (a string - matching algorithm ) and an automatic proof program, the Boyer -Moore Theorem Prover ( Nqthm, 1992), for which both Matt Kaufmann 2005 ACM Software received System Award. With merchant and Boyer, he developed the automatic proof system ACL2.
In 1999 he received the Herbrand Award with Boyer and 1991 Current Prize in Automatic Theorem Proving by 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 an avid rock climber.
Writings
- With Boyer Computational Logic, Academic Press 1979
- With Boyer A Computational Logic Handbook, Academic Press 1988
- Matt Kaufmann, Panagiotis Manolios computer -aided reasoning: an approach, Kluwer 2000
- Publisher with Kaufmann, Manolios computer -aided reasoning: ACL2 case studies, Kluwer 2000
- Piton: A Mechanically verified assembly - level language, Kluwer 1996
- Publisher with Boyer The correctness trouble in computer science, Academic Press 1981