Geoff Sutcliffe

Infobox_Scientist
name = Geoff Sutcliffe


image_width= 200px
caption = Geoff Sutcliffe
residence = USA
nationality = Australian
work_institution = University of Miami
field = Computer Technology
known_for = TPTP, CASC

Geoff Sutcliffe is a US-based Australian computer scientist working in the field of Automated reasoning.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 [http://www.tptp.org/HHDC/ The Modal Logic $100 Challenge] , [http://www.tptp.org/MPTPChallenge/ The MPTP $100 Challenges] , and [http://www.tptp.org/SUMOChallenge/ The SUMO $100 Challenges] .

External links

* [http://www.cs.miami.edu/~geoff/ Geoff Sutcliffe]
* [http://www.tptp.org TPTP]