Log In

J. Strother Moore Edit Profile

engineer , university professor , computer scientist

J. Strother Moore, American computer scientist, educator. Co-recipient John McCarthy prize for program verification, 1983, Current prize in automatic theorem proving, American Mathematics Society, 1991, Herbrand award, Conference on Automated Deduction, 1999. Fellow: Association Computing Machinery (Software Systems award 2005), American Association Artificial Intelligence; member: National Academy of Engineering.


Moore, J. Strother was born on September 11, 1947 in Seminole, Oklahoma, United States. Son of J. Strother and Jessie Louise Moore.


Bachelor of Science in Mathematics, Massachusetts Institute of Technology, 1970. Doctor of Philosophy in Computational Logic, University Edinburgh, Scotland, 1973.


An example of the workings of the Boyer–Moore string search algorithm is given in Moore's website. Moore received his SB in mathematics at Massachusetts Institute of Technology in 1970 and his Ph.D in computational logic at University of Edinburgh in Scotland in 1973. In addition, Moore is a co-author of the ACL2 automated theorem prover.

He and others used ACL2 to prove the correctness of the floating point division operations of the AMD K5 microprocessor in the wake of the Pentium FDIV bug. Moore was elected to the National Academy of Engineering in 2007, and is a Fellow of the AAAI. He is currently the Admiral B.R. Inman Centennial Chair in Computing Theory at The University of Texas at Austin, and was Chair of the Department of Computer Science from 2001-2009. Moore enjoys rock climbing.


  • For his contributions to automated deduction, Moore received the 1999 Herbrand Award with Robert S. Boyer, and in 2006 he was inducted as a Fellow of the Association for Computing Machinery.



Fellow: Association Computing Machinery (Software Systems award 2005), American Association Artificial Intelligence. Member: National Academy of Engineering.


  • Other Interests

    Rock climbing, backpacking.


Married Jo Anne O'Neil. Children: Lisa, Jonathan, Chris.

J. Strother

Jessie Louise Moore

Jo Anne O'Neil

Lisa Moore

Jonathan Moore

Chris Moore