This biography of a living person relies too much on references to primary sources. Please help by adding secondary or tertiary sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libelous or harmful. Find sources: "Geoff Sutcliffe" – news · newspapers · books · scholar · JSTOR(November 2008) (Learn how and when to remove this message)
Geoff Sutcliffe
Geoff Sutcliffe
Born
(1961-10-28) October 28, 1961 (age 62)
Ndola, Zambia
Nationality
Australian, British
Alma mater
University of Natal
University of Western Australia
Known for
TPTP, CASC
Scientific career
Fields
Automated theorem proving (ATP)
Evaluation of ATP systems
Distributed and Parallel ATP systems
Institutions
University of Natal
University of Durban-Westville
Edith Cowan University
James Cook University
University of Miami
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.
^"Curriculum Vitae, Geoff Sutcliffe". Department of Computer Science, University of Miami. 2021. Retrieved February 10, 2021.
^Cite error: The named reference sut07 was invoked but never defined (see the help page).
^Cite error: The named reference ursu07 was invoked but never defined (see the help page).
^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.
GeoffSutcliffe is a US-based computer scientist working in the field of automated reasoning. He was born in the former British colony of Northern Rhodesia...
features, and run them in parallel. Sutcliffe, Geoff. "System on TPTP". Retrieved 4 November 2010. Sutcliffe, Geoff; D. Seyfang (1999). "Smart selective...
3233/AIC-2010-0483. GeoffSutcliffe. "The CADE ATP System Competition". Archived from the original on 2009-03-02. Retrieved 2008-10-23. GeoffSutcliffe and Christian...
3233/AIC-2010-0483. GeoffSutcliffe. "The CADE ATP System Competition". Archived from the original on 2009-03-02. Retrieved 2008-10-23. GeoffSutcliffe and Christian...
quarterly newsletter. The website of the association is maintained by Valentin Montmirail and GeoffSutcliffe in Jekyll (software). AAR web page v t e...
Herbert Sutcliffe (24 November 1894 – 22 January 1978) was an English professional cricketer who represented Yorkshire and England as an opening batsman...
Schweitzer (2005). "Reasoning about Incompletely Defined Programs". In GeoffSutcliffe; Andrei Voronkov (eds.). Proc. 12th Int. Conf. on Logic for Programming...
March 2015. Sutcliffe 2010, p. 255 Sutcliffe 2010, p. 256 Sutcliffe 2010, p. 265 Sutcliffe 2010, p. 266 Sutcliffe 2010, p. 268 Fox, Geoff (29 March 2005)...
revenue. Sutcliffe, Chris (2023-01-23). "Dexerto CEO Josh Nino on standing out among gaming publishers". Media Voices. Retrieved 2024-02-20. Weiss, Geoff. "How...
"Industrial Growth and Early German Imperialism" from Studies in the Theory of Imperialism edited by Roger Owen and Bob Sutcliffe, London: Longman, 1972....
for 1984. Several members of the committee, including Trueman, Billy Sutcliffe and Ronnie Burnet, resigned. Of the replacement members, 17 were from...
maintain its audience share over the course of its two-year run. Tom Sutcliffe, writing in the Independent, said, "The drama involved virtually no preaching...
interest, suggesting that he talk to Stu Sutcliffe, who Lennon said was "the artist 'round here". Sutcliffe was fascinated by the trio, who he thought...
Geoffrey Osborne Rabone (6 November 1921 – 19 January 2006), known as Geoff Rabone, was a cricketer who captained New Zealand in five Test matches in...
(PDF). AAAI-94 Proceedings. Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff (2008). "THF0 – The Core of the TPTP Language for Higher-Order Logic"...
– vocals, rhythm guitar George Harrison – lead guitar, vocals Stuart Sutcliffe – bass Los Paranoias (Early Winter 1960) John Lennon – vocals, rhythm...
2008–2009: Ah Chee 2010–2013: Meiklejohn 2014–2018: Summerton 2019–: Sutcliffe Port Adelaide joined the AFL as a separate entity to the SANFL side. The...
line-up includes guitarist Steve Howe (who first joined in 1970), keyboardist Geoff Downes (who first joined in 1980), bassist Billy Sherwood (since 2015, formerly...
Global Information
