Geoff Sutcliffe

{{Short description|British-Australian computer scientist}}

{{Use American English|date=February 2021}}

{{Use mdy dates|date=February 2021}}

{{BLP primary sources|date=November 2008}}

{{Infobox scientist

| name = Geoff Sutcliffe

| image = GeoffSutcliffe LPAR2004 Montevideo.jpg

| image_size= 200px

| caption = Geoff Sutcliffe

| nationality = Australian, British

| birth_date = {{birth date and age|1961|10|28}}

| birth_place = Ndola, Zambia

| alma_mater = {{ubl

|University of Natal

|University of Western Australia

}}

| workplaces = {{ubl

|University of Natal

|University of Durban-Westville

|Edith Cowan University

|James Cook University

|University of Miami

}}

| field = {{ubl

|Automated theorem proving (ATP)

|Evaluation of ATP systems

|Distributed and Parallel ATP systems

}}

| known_for = {{hlist

|TPTP

|CASC

}}

}}

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.{{cite web |title=Curriculum Vitae, Geoff Sutcliffe |year=2021 |url=https://www.cs.miami.edu/home/geoff/CV/CV.shtml |website=Department of Computer Science, University of Miami |access-date=2021-02-10 }}

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, the MPTP $100 Challenges, and the SUMO $100 Challenges.{{cite journal |title=Large theory reasoning with SUMO at CASC |first1=Pease |last1=Adam |first2=Sutcliffe |last2=Geoff |author2-link=Geoff Sutcliffe |first3=Siegel |last3=Nick |first4=Trac |last4=Steven |year=2010 |journal=AI Communications |volume=2–3 |issue=2–3 |pages=137–144

|doi=10.3233/AIC-2010-0466 }}{{rp|139}} Together with Stephan Schulz, Sutcliffe founded and has been organizing the ES* Workshop series,{{Cite web |url=http://www.eprover.org/EVENTS/es_series.html |title=Empirically Successful Topics in Automated Deduction workshop series |access-date=2009-12-10 |archive-url=https://web.archive.org/web/20100206221517/http://www.eprover.org/EVENTS/es_series.html |archive-date=2010-02-06 |url-status=live }} a venue for presentation and publishing of practically oriented Automated Reasoning research.

In 2025 Sutcliffe went to Federal University of Goiás and gave a two-day lecture about TPTP.{{cite web |title=TPTP World Tour |website=Thousands of Problems for Theorem Provers |year=2025 |url=https://worldtour.tptp.org/#:~:text=24%2D26th%20February%20%2D%20Federal%20University%20of%20Goi%C3%A1s%20%2D%20Daniel%20Ventura |access-date=2025-03-01 }}