Conclusion
by Geoff Sutcliffe
Broad, Deep, and Influential
- Larry valued and developed underlying theory
... but he did not stop there.
- Larry pushed the theory into effective system implementations
... but he did not stop there.
... but he did not stop there.
- Larry inspired many people to join his efforts
... through publications and conversations
- Contribution to the development of our thriving automated reasoning
community
Impact
- the How - his inference rules
- the What - his applications
- the Style - his persona
- He touched the heart of automated reasoning
- Died 20th August 2020, in Chicago USA
Thanks