Geoff Sutcliffe
Academic
Who is Geoff Sutcliffe?
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, 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 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, 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.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Geoff Sutcliffe." Biographies.net. STANDS4 LLC, 2024. Web. 1 Jun 2024. <https://www.biographies.net/people/en/geoff_sutcliffe>.
Discuss this Geoff Sutcliffe biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In