Dr. J Strother Moore
Department of Computer Sciences
University of Texas at Austin
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. 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. 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. In
1999 they were awarded the Herbrand Award for their work in automatic
theorem proving. Moore is a Fellow of the American Association for
Artificial Intelligence.
Email: moore@cs.utexas.edu
|