Geoff Sutcliffe
 |
Geoff Sutcliffe | |
|---|---|
 Geoff Sutcliffe | |
| Born | October 28, 1961 Ndola, Zambia |
| Alma mater | |
| Known for | |
| Scientific career | |
| Fields |
|
| Institutions | |
Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning. He was born in the former British colony of Northern Rhodesia (now Zambia), grew up in South Africa, and earned his PhD in Australia. Sutcliffe currently works at the University of Miami, and is of both British and Australian nationality.[1]
Geoff Sutcliffe is the developer of the Thousands of Problems for Theorem Provers (TPTP) problem library, and of the TPTP language for formal specification of Automated theorem proving problems and solutions. Since 1996 he has been organizing the annual CADE ATP System Competition (CASC), associated with the Conference on Automated Deduction and International Joint Conference on Automated Reasoning. He has been a co-organizer of several Automated reasoning challenges, including the Modal Logic $100 Challenge,[2] the MPTP $100 Challenges,[3] and the SUMO $100 Challenges.[4]: 139 Together with Stephan Schulz, Sutcliffe founded and has been organizing the ES* Workshop series,[5] a venue for presentation and publishing of practically oriented Automated Reasoning research.
In 2025 Sutcliffe went to Federal University of Goiás and gave a two-day lecture about TPTP.[6]
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]- Lua error in Module:Official_website at line 94: attempt to index field 'wikibase' (a nil value).
- TPTP
- Articulate Software
- OntologyTalk: An Interview with Prof. Geoff Sutcliffe on YouTube
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- Australian computer scientists
- Australian expatriates in the United States
- Automated theorem proving
- British computer scientists
- Living people
- Miami University faculty
- University of Natal alumni
- University of Western Australia alumni
- Zambian people of British descent
- Zambian people of English descent
- Zambian emigrants to South Africa
- Zambian emigrants to Australia
- 1961 births
- Zambian expatriates in the United States