Larry Wos

Larry Wos is a mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory.[1]

Wos studied at the University of Chicago, receiving a bachelor's degree in 1950 and a master's in mathematics in 1954, and went on for doctoral studies at the University of Illinois at Urbana-Champaign. He joined Argonne in 1957, and began using computers to prove mathematical theorems in 1963.[2] [3]

Wos is congenitally blind. He is an avid bowler, the best male blind bowler in the US.[4][5][6]

Awards and honors

In 1982, Wos and his colleague Steve Winker were the first to win the Automated Theorem Proving Prize, given by the American Mathematical Society.[4] In 1992, Wos was the first to win the Herbrand Award for his contributions to the field of automated deduction.[7] A festschrift in his honor, Automated reasoning and its applications: essays in honor of Larry Wos (Robert Veroff, ed.) was published by the MIT Press in 1997 ( ISBN 0-262-22055-5).

Books

Wos and Gail W. Pieper are the coauthors of the books A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning (World Scientific, 1999, ISBN 978-981-02-3910-7) and Automated Reasoning and the Discovery of Missing and Elegant Proofs (Rinton Press, 2003, ISBN 1-58949-023-1). Wos's collected works were published by World Scientific in 2000, in two volumes ( ISBN 978-981-02-4001-1).

References

  1. ↑ Larry Wos's home page at Argonne, retrieved 2010-10-03.
  2. ↑ Obermiller, Tim Andrew (April 1997), "Top of his game", University of Chicago Magazine .
  3. ↑ Dick, Stephanie (September 2011). "AfterMath: The Work of Proof in the Age of Human–Machine Collaboration". Isis. University of Chicago Press. 102 (3): 494–505. doi:10.1086/661623. JSTOR 10.1086/661623.
  4. 1 2 Chicago Tribune, November 18, 1982.
  5. ↑ Van, Jon (January 24, 1982), "Blindness took back seat on road to success", Chicago Tribune .
  6. ↑ Montgomery, Paul L. (May 27, 1977), "Blind Mathematician Applies Analytical Method to Bowling", New York Times .
  7. ↑ Deepak Kapur (1992), Automated deduction, CADE-11: 11th International Conference on Automated Deduction



This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.