Larry Wos | |
|---|---|
| Born | Lawrence T. Wos 1930 |
| Died | August 21, 2020 |
| Known for | Theorem proving |
| Awards | Herbrand Award (1992) |
| Scientific career | |
| Thesis | On Commutative Prime Power Subgroups of the Norm (1957) |
Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory.[1]