请输入您要查询的百科知识：

　

词条 J Strother Moore
释义

  1. See also

  2. References

  3. External links

{{BLP sources|date=February 2013}}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, Boyer–Moore majority vote algorithm, and the Boyer–Moore automated theorem prover, Nqthm. He made pioneering contributions to structure sharing including the piece table data structure and early logic programming. 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[1] in computational logic at University of Edinburgh in Scotland in 1973.[2]

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. Moore was elected to the National Academy of Engineering in 2007, and is a Fellow of the AAAI.[3] He was elected a Corresponding Fellow of the Royal Society of Edinburgh in 2015.[4]

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.

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.

Moore enjoys rock climbing.[5]

See also

  • Boyer–Moore majority vote algorithm

References

1. ^Available at the [https://www.era.lib.ed.ac.uk/handle/1842/2245 Edinburgh Research Archive].
2. ^{{cite web |url= http://www.cs.utexas.edu/users/moore/education.html |title= J Moore's Home Page, Education Page|accessdate=2009-05-26 }}
3. ^{{cite web |url = http://www.cs.utexas.edu/users/moore/biography.html|title = J Moore's Home Page, biography section|accessdate=2014-10-07}}
4. ^{{Cite news|url=https://www.rse.org.uk/fellow/j-moore/|title=Professor J Strother Moore CorrFRSE - The Royal Society of Edinburgh|work=The Royal Society of Edinburgh|access-date=2018-01-09|language=en-GB}}
5. ^{{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 }}

External links

{{Commons category}}
  • J Strother Moore's home page
  • [https://www.cs.utexas.edu/users/moore/best-ideas/index.html ``My Best Ideas (from J Strother Moore's home page)]
  • Boyer-Moore fast string search algorithm
{{Authority control}}{{DEFAULTSORT:Moore, J Strother}}{{US-compu-bio-stub}}

9 : American computer scientists|Formal methods people|Massachusetts Institute of Technology alumni|Alumni of the University of Edinburgh|University of Texas at Austin faculty|Fellows of the Association for Computing Machinery|Living people|Year of birth missing (living people)|Members of the United States National Academy of Engineering
随便看

　

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

　

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间：2024/11/14 4:29:32