Age, Biography and Wiki
Larry Wos (Lawrence T. Wos) was born on 1930 in Chicago. Discover Larry Wos's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is He in this year and how He spends money? Also learn how He earned most of networth at the age of 90 years old?
| Popular As |
Lawrence T. Wos |
| Occupation |
N/A |
| Age |
90 years old |
| Zodiac Sign |
|
| Born |
1930 |
| Birthday |
1930 |
| Birthplace |
Chicago |
| Date of death |
August 21, 2020 |
| Died Place |
N/A |
| Nationality |
|
We recommend you to check the complete list of Famous People born on 1930.
He is a member of famous with the age 90 years old group.
Larry Wos Height, Weight & Measurements
At 90 years old, Larry Wos height not available right now. We will update Larry Wos's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Larry Wos Net Worth
His net worth has been growing significantly in 2022-2023. So, how much is Larry Wos worth at the age of 90 years old? Larry Wos’s income source is mostly from being a successful . He is from . We have estimated
Larry Wos's net worth
, money, salary, income, and assets.
| Net Worth in 2023 |
$1 Million - $5 Million |
| Salary in 2023 |
Under Review |
| Net Worth in 2022 |
Pending |
| Salary in 2022 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
|
Larry Wos Social Network
| Instagram |
|
| Linkedin |
|
| Twitter |
|
| Facebook |
|
| Wikipedia |
|
| Imdb |
|
Timeline
In 1982, Wos and his colleague Steve Winker were the first to win the Automated Theorem Proving Prize, given by the American Mathematical Society. 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 (.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:linear-gradient(transparent,transparent),url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 0-262-22055-5).
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 where he received PhD in 1957 supervised by Reinhold Baer. He joined the Argonne in 1957, and began using computers to prove mathematical theorems in 1963.
Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory.
