Background
Wos, Lawrence was born on July 13, 1930 in Chicago, Illinois, United States. Son of Henry and Viola Hazel (Page) Wos.
- Photos
- Works
- Photos
- Works
Lawrence Wos
Edit ProfileEducation
Bachelor, University of Chicago, 1950; Master of Science, University of Chicago, 1954; Doctor of Philosophy, University of Illinois, 1957.
Career
Assistant mathematician, Argonne (Illinois) National Laboratory, 1957-1960; mathematician, Argonne (Illinois) National Laboratory, 1960-1984; senior mathematician, Argonne (Illinois) National Laboratory, since 1984. Distinguished visitor Institute of Electrical and Electronics Engineers Computer Society, 1982-1983, 83-84. Adjunct Professor University of Illinois, Urbana, since 1984, visiting professor, Chicago, 1985.
Achievements
Membership
Member Association for Automated Reasoning (president).
Interests
Connections
Married Nancy Smith, November 27, 1954.
-
Born
-
Nationality
American
Awards
-
Recipient Association of Tennis Professionals prize for current achievement American Mathematics Society, 1983, 1stHerbrand award in automated deduction, 1992.Recipient Association of Tennis Professionals prize for current achievement American Mathematics Society, 1983, 1stHerbrand award in automated deduction, 1992.