Larry Wos
Encyclopedia
Larry Wos is a mathematician
, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratories.
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.
Wos is congenitally blind
. He is an avid bowler
, the best male blind bowler in the US.
.
In 1992, Wos was the first to win the Herbrand Award
for his contributions to the field of automated deduction. 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).
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratories.
Wos studied at the University of Chicago
University of Chicago
The University of Chicago is a private research university in Chicago, Illinois, USA. It was founded by the American Baptist Education Society with a donation from oil magnate and philanthropist John D. Rockefeller and incorporated in 1890...
, 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
University of Illinois at Urbana-Champaign
The University of Illinois at Urbana–Champaign is a large public research-intensive university in the state of Illinois, United States. It is the flagship campus of the University of Illinois system...
. He joined Argonne in 1957, and began using computers to prove mathematical theorems in 1963.
Wos is congenitally blind
Blindness
Blindness is the condition of lacking visual perception due to physiological or neurological factors.Various scales have been developed to describe the extent of vision loss and define blindness...
. He is an avid bowler
Bowling
Bowling Bowling Bowling (1375–1425; late Middle English bowle, variant of boule Bowling (1375–1425; late Middle English bowle, variant of boule...
, the best male blind bowler in the US.
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 SocietyAmerican Mathematical Society
The American Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, which it does with various publications and conferences as well as annual monetary awards and prizes to mathematicians.The society is one of the...
.
In 1992, Wos was the first to win the Herbrand Award
Herbrand Award
The Herbrand Award for Distinguished Contributions to Automated Deduction is an award given by CADE Inc. to honour persons or groups for important contributions to the field of automated deduction. The award is named after the French scientist Jacques Herbrand and given at most once per CADE or...
for his contributions to the field of automated deduction. A festschrift
Festschrift
In academia, a Festschrift , is a book honoring a respected person, especially an academic, and presented during his or her lifetime. The term, borrowed from German, could be translated as celebration publication or celebratory writing...
in his honor, Automated reasoning and its applications: essays in honor of Larry Wos (Robert Veroff, ed.) was published by the MIT Press
MIT Press
The MIT Press is a university press affiliated with the Massachusetts Institute of Technology in Cambridge, Massachusetts .-History:...
in 1997 (ISBN 0-262-22055-5).