# Brief Biography: J Strother Moore

J Strother Moore holds the Admiral B.R. Inman
Centennial Chair in Computing Theory at the
University of Texas at Austin and is a Visiting
Professor at the University of Edinburgh. He was
chair of the UT Austin CS department 2001-2009.
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 both the American Association
for Artificial Intelligence and the ACM and is a
member of the US National Academy of Engineering.
Boyer, Moore, and Kaufmann were awarded the 2005
ACM Software Systems Award for the Boyer-Moore
theorem prover.