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 ( ...

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 progr ...

. He was born in the former British colony of

Northern Rhodesia Northern Rhodesia was a British protectorate in south central Africa, now the independent country of Zambia. It was formed in 1911 by amalgamating the two earlier protectorates of Barotziland-North-Western Rhodesia and North-Eastern Rhodes ...

(now

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

), 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 count ...

, 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 ''Piled Higher and Deeper'' (also known as ''PhD Comics''), is a newsp ...

in Australia. 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, ...

, 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 ...

nationality. Geoff Sutcliffe is the developer of the

Thousands of Problems for Theorem Provers TPTP (Thousands of Problems for Theorem Provers) is a freely available collection of problems for automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical ...

(TPTP) problem library, and of the

TPTP language TPTP is an abbreviation and may refer to * Thousands of Problems for Theorem Provers * Test & Performance Tools Platform, a platform of Eclipse An eclipse is an astronomical event that occurs when an astronomical object or spacecraft is te ...

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 ...

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 orga ...

(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 progr ...

challenges, including the Modal Logic $100 Challenge, the MPTP $100 Challenges, and the SUMO $100 Challenges. Together with

Stephan Schulz E is a high-performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a purely equational paradigm. It has been integrated into other theorem provers and it has been among ...

, 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