Lawrence T. Wos (1930–2020) was an American 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 where he received PhD in 1957 supervised by Reinhold Baer.
[5][6][7] In 1982, Wos and his colleague Steve Winker were the first to win the Automated Theorem Proving Prize, given by the American Mathematical Society.
[5] In 1992, Wos was the first to win the Herbrand Award for his contributions to the field of automated deduction.
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).