J Strother Moore

J Strother Moore is an American computer scientist who holds the Admiral B. R. Inman Centennial Chair in Computing Theory at the University of Texas at Austin, where he chaired the computer science department from 2001 to 2009. With Robert S. Boyer he co-developed the Boyer-Moore string-search algorithm and the Boyer-Moore majority vote algorithm, and the two later built the Nqthm and ACL2 automated theorem provers, the latter maintained since the early 1990s with Matt Kaufmann; the three shared the 2005 ACM Software System Award for the Boyer-Moore theorem prover. Moore received the 1999 Herbrand Award for automated reasoning, became an ACM Fellow in 2006, and was elected to the National Academy of Engineering in 2007.