Prof. J. Strother Moore

J Strother Moore holds the Admiral B.R. Inman Centennial Chair in Computing Theory at the University of Texas at Austin. He is the author of many books and papers on automated theorem proving and mechanical verification of computing systems, including ``Piton: A Mechanically Verified Assembly-Level Language'' (Kluwer, 1996) and ``A Computational Logic Handbook, Second Edition'' with Robert S.~Boyer (Academic Press, 1998). Along with Boyer he is a co-author of the Boyer-Moore theorem prover and the Boyer-Moore fast string searching algorithm. With Matt Kaufmann he is the co-author of the ACL2 theorem prover, which has been used in several industrial verification projects including the verification of floating-point division operations on commercial processors. Moore got his PhD from the University of Edinburgh in 1973 and his BS from MIT in 1970. Moore was a founder of Computational Logic, Inc., and served as its chief scientist for ten years. He and Bob Boyer were awarded the 1991 Current Prize in Automatic Theorem Proving by the American Mathematical Society. He is a Fellow of the American Association for Artificial Intelligence.

Email address:

©2002-2018 U.C. Regents