Geoff Sutcliffe
Encyclopedia
Geoff Sutcliffe is a US-based computer scientist
working in the field of automated reasoning
.
He is of both British
and Australian nationality.
He was born in the former British colony of Northern Rhodesia
(now Zambia
),
grew up in South Africa
, and earned his Ph.D. in Australia
. He works at the University of Miami
.
He 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, 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.
Computer scientist
A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....
working in the field of automated reasoning
Automated reasoning
Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...
.
He is of both British
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
and Australian nationality.
He was born in the former British colony of Northern Rhodesia
Northern Rhodesia
Northern Rhodesia was a territory in south central Africa, formed in 1911. It became independent in 1964 as Zambia.It was initially administered under charter by the British South Africa Company and formed by it in 1911 by amalgamating North-Western Rhodesia and North-Eastern Rhodesia...
(now Zambia
Zambia
Zambia , officially the Republic of Zambia, is a landlocked country in Southern Africa. The neighbouring countries are the Democratic Republic of the Congo to the north, Tanzania to the north-east, Malawi to the east, Mozambique, Zimbabwe, Botswana and Namibia to the south, and Angola to the west....
),
grew up in South Africa
South Africa
The Republic of South Africa is a country in southern Africa. Located at the southern tip of Africa, it is divided into nine provinces, with of coastline on the Atlantic and Indian oceans...
, and earned his Ph.D. in Australia
Australia
Australia , officially the Commonwealth of Australia, is a country in the Southern Hemisphere comprising the mainland of the Australian continent, the island of Tasmania, and numerous smaller islands in the Indian and Pacific Oceans. It is the world's sixth-largest country by total area...
. He works at the University of Miami
University of Miami
The University of Miami is a private, non-sectarian university founded in 1925 with its main campus in Coral Gables, Florida, a medical campus in Miami city proper at Civic Center, and an oceanographic research facility on Virginia Key., the university currently enrolls 15,629 students in 12...
.
He 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
Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
problems and solutions. Since 1996 he has been organizing the annual CADE ATP System Competition
CADE ATP System Competition
The CADE ATP System Competition is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated with the Conference on Automated Deduction and the International Joint Conference on Automated Reasoning organized by the Association for Automated...
(CASC), associated with the Conference on Automated Deduction
Conference on Automated Deduction
The Conference on Automated Deduction 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 Europe and the USA. However, conferences have been held all...
and International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning 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 replaces those independent conferences in the years it takes place...
. He has been a co-organizer of several Automated reasoning
Automated reasoning
Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...
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.