Geoff Sutcliffe
Geoff Sutcliffe | |
---|---|
Born | Ndola, Zambia | October 28, 1961
Nationality | Australian, British |
Alma mater | |
Known for | TPTP, CASC |
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.
References
- ^ "Curriculum Vitae, Geoff Sutcliffe". Department of Computer Science, University of Miami. 2021. Retrieved February 10, 2021.
- ^ Sutcliffe, Geoff (2007). "The Modal Logic $100 Challenge". The TPTP Problem Library for Automated Theorem Proving. Archived from the original on March 4, 2007. Retrieved April 2, 2021.
- ^ Urban, Josef; Sutcliffe, Geoff (July 16, 2007). "The MPTP $100 Challenges". The TPTP Problem Library for Automated Theorem Proving. Retrieved April 2, 2021.
- ^ Adam, Pease; Geoff, Sutcliffe; Nick, Siegel; Steven, Trac (2010). "Large theory reasoning with SUMO at CASC". AI Communications. 2–3 (2–3): 137–144. doi:10.3233/AIC-2010-0466.
- ^ "Empirically Successful Topics in Automated Deduction workshop series". Archived from the original on February 6, 2010. Retrieved December 10, 2009.
External links
- Use mdy dates from February 2021
- Use American English from February 2021
- All Wikipedia articles written in American English
- Articles lacking reliable references from November 2008
- All articles lacking reliable references
- BLP articles lacking sources from November 2008
- Articles with hCards
- Articles with VIAF identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with SUDOC identifiers
- 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