J Strother Moore
Computer Scientist
Who is J Strother Moore?
J Strother Moore 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. 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.
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.
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, Computational Logic Inc., along with others including 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.
We need you!
Help us build the largest biographies collection on the web!
- Nationality
- United States of America
- Profession
- Education
- Massachusetts Institute of Technology
- Employment
- University of Texas at Austin
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"J Strother Moore." Biographies.net. STANDS4 LLC, 2024. Web. 19 Apr. 2024. <https://www.biographies.net/people/en/j_strother_moore>.
Discuss this J Strother Moore biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In