Larry Wos: Visions of Automated Reasoning

Authors

Michael Beeson, San Jose State UniversityFollow
Maria Paola Bonacina, Università degli Studi di Verona
Michael Kinyon, University of Denver
Geoff Sutcliffe, University of Miami

Publication Date

11-1-2022

Document Type

Article

Publication Title

Journal of Automated Reasoning

Volume

66

Issue

4

DOI

10.1007/s10817-022-09620-8

First Page

439

Last Page

461

Abstract

This paper celebrates the scientific discoveries and the service to the automated reasoning community of Lawrence (Larry) T. Wos, who passed away in August 2020. The narrative covers Larry’s most long-lasting ideas about inference rules and search strategies for theorem proving, his work on applications of theorem proving, and a collection of personal memories and anecdotes that let readers appreciate Larry’s personality and enthusiasm for automated reasoning.

Funding Sponsor

Simons Institute for the Theory of Computing, University of California Berkeley

Keywords

Automated reasoning, Larry Wos

Department

Computer Science

Recommended Citation

Michael Beeson, Maria Paola Bonacina, Michael Kinyon, and Geoff Sutcliffe. "Larry Wos: Visions of Automated Reasoning" Journal of Automated Reasoning (2022): 439-461. https://doi.org/10.1007/s10817-022-09620-8