Geoff Sutcliffe is a US-based

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

working in the field of

automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progra ...

. He was born in the former British colony of

Northern Rhodesia Northern Rhodesia was a British protectorate in southern Africa, south central Africa, now the independent country of Zambia. It was formed in 1911 by Amalgamation (politics), amalgamating the two earlier protectorates of Barotziland-North-West ...

(now

Zambia Zambia (), officially the Republic of Zambia, is a landlocked country at the crossroads of Central Africa, Central, Southern Africa, Southern and East Africa, although it is typically referred to as being in Southern Africa at its most cent ...

), grew up in

South Africa South Africa, officially the Republic of South Africa (RSA), is the southernmost country in Africa. It is bounded to the south by of coastline that stretch along the South Atlantic and Indian Oceans; to the north by the neighbouring countri ...

, and earned his

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper'', a web comic * Ph.D. (band), a 1980s British group ** Ph.D. (Ph.D. albu ...

Australia Australia, officially the Commonwealth of Australia, is a Sovereign state, sovereign country comprising the mainland of the Australia (continent), Australian continent, the island of Tasmania, and numerous List of islands of Australia, sma ...

. Sutcliffe currently works at the

University of Miami The University of Miami (UM, UMiami, Miami, U of M, and The U) is a private research university in Coral Gables, Florida. , the university enrolled 19,096 students in 12 colleges and schools across nearly 350 academic majors and programs, incl ...

, and is of both

British British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, ...

and

Australian Australian(s) may refer to: Australia * Australia, a country * Australians, citizens of the Commonwealth of Australia ** European Australians ** Anglo-Celtic Australians, Australians descended principally from British colonists ** Aboriginal Au ...

nationality. 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 Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...

problems and solutions. Since 1996 he has been organizing the annual

CADE ATP System Competition The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical logic CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organi ...

(CASC), associated with the

Conference on Automated Deduction The Conference on Automated Deduction (CADE) is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Eur ...

and

International Joint Conference on Automated Reasoning The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replace ...

. He has been a co-organizer of several

Automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progra ...

challenges, including the Modal Logic $100 Challenge, the MPTP $100 Challenges, and the SUMO $100 Challenges. Together with Stephan Schulz, Sutcliffe founded and has been organizing the ES* Workshop series, a venue for presentation and publishing of practically oriented Automated Reasoning research.

References

External links

Geoff SutcliffeTPTP
* {{DEFAULTSORT:Sutcliffe, Geoff 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