- J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist, and he is a co-developer of the
Boyer-Moore string search algorithm and the Boyer-Moore automated theorem prover,Nqthm . A good example of the workings of the Boyer-Moore string search algorithm is given [http://www.cs.utexas.edu/users/moore/best-ideas/string-searching/fstrpos-example.html in his website] along with theKnuth-Morris-Pratt algorithm .In addition, he is a co-author of the
ACL2 automated theorem prover. Moore usedACL2 to prove the correctness of the floating point division operations of theAMD K5 microprocessor in the wake of thePentium FDIV bug .For his contributions to automated deduction, he received the 1999
Herbrand Award withRobert S. Boyer , and in 2006 he was inducted as aFellow of theAssociation for Computing Machinery .He is currently the Admiral B.R. Inman Centennial Chair in Computing Theory at The University of Texas at Austin.
Before joining the Department of Computer Sciences as the chair, he formed a company, [http://www.computationallogic.com/ Computational Logic Inc.] , along with others that included his close friend at the University of Texas at Austin and one of the highly regarded professors in the field of Automated Reasoning,
Robert S. Boyer .Moore enjoys
rock climbing . [cite web
url= http://www.cs.utexas.edu/users/moore/personal/index.html
title= J Moore's Home Page, Interests Section
accessdate=2008-08-22 ]References
External links
* [http://www.cs.utexas.edu/users/moore/ J Strother Moore's home page]
* [http://www.cs.utexas.edu/users/moore/best-ideas/string-searching/ Boyer-Moore fast string search algorithm]
Wikimedia Foundation. 2010.