Larry Wos es un científico y matemático de la división de informático en el Laboratorio Nacional Argonne; ingresó a dicho laboratorio en febrero de 1957.
Escribió más de 70 artículos sobre la automatización del razonamiento, ha dado cientos de conferencias sobre dicho tema, y por ello se ha renombrado el campo de confirmación (prueba) en un teorema básico de automatización "Teorema del razonamiento automatizado".
Ha escrito seis libros, los más recientemente Un País Fascinante, El Mundo de Calcular y Guía al Razonamiento Automatizado, (Mundo Científico, 199A.C-2000) y Obras completas dey Larry Wos, 2 vols., (Mundo Científico, 2001).
Un creyente fuerte en la experimentación, Wos ha usado programas de razonamiento automatizados para contestar asuntos por resolver campos diversos como los que encontramos en la álgebra Booleana, semigrupos finitos, combinaciones de la lógica, y el cálculo equivalencial.
También recibió el Premio de Herbrand pos sus contribuciones excepcionales al campo de la deducción automatizada en año 1992.