2026 Geoff Sutcliffe: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	31	13547	13135	5406	5143	180	4870

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

13547

13135

5406

5143

180

4870

Overview

Geoff Sutcliffe is affiliated with the University of Miami in the United States and specializes in the field of Computer Science, with a focus on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Hardware and Architecture, and Software. Their research portfolio includes 66 publications within these domains.

Their work centers on several key topics, including:

Logic, programming, and type systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Semigroups and automata theory
Advanced Database Systems and Queries
Semantic Web and Ontologies
Constraint Satisfaction and Optimization

Geoff Sutcliffe has authored multiple research papers, with notable recent publications being:

"The logic languages of the TPTP world" (2022), published in Logic Journal of IGPL
"The CADE-27 Automated theorem proving System Competition - CASC-27" (2020), published in AI Communications
"The CADE-28 Automated Theorem Proving System Competition - CASC-28" (2022), published in AI Communications
"Improving probability selection based weights for satisfiability problems" (2022), published in Knowledge-Based Systems
"The 11th IJCAR automated theorem proving system competition - CASC-J11" (2023), published in AI Communications

The venues where this researcher frequently publishes include:

AI Communications
arXiv (Cornell University)
Proceedings of the International Florida Artificial Intelligence Research Society Conference
Kalpa publications in computing
Logic Journal of IGPL

Geoff Sutcliffe collaborates regularly with a number of co-authors, such as:

Alexander Steen
Christoph Benzmüller
Jack McKeown
David Fuenmayor
Martin Desharnais

Best Publications

The TPTP Problem Library and Associated Infrastructure

Geoff Sutcliffe

615
Citations
The TPTP Problem Library

Geoff Sutcliffe;Christian Suttner

379
Citations
The TPTP Problem Library

Geoff Sutcliffe;Christian B. Suttner;Theodor Yemenis

259
Citations
Starexec: A cross-community infrastructure for logic solving

Aaron Stump;Geoff Sutcliffe;Cesare Tinelli

226
Citations
The TPTP Problem Library and Associated Infrastructure: From CNF to TH0, TPTP v6.4.0

Geoff Sutcliffe

225
Citations
The state of CASC

Geoff Sutcliffe;Christian Suttner

169
Citations
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance

Josef Urban;Geoff Sutcliffe;Petr Pudlák;Jiří Vyskočil

156
Citations
Evaluating general purpose automated theorem proving systems

Geoff Sutcliffe;Christian B. Suttner

149
Citations
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4

Geoff Sutcliffe

147
Citations
The CADE ATP System Competition — CASC

Geoff Sutcliffe

139
Citations
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure

Geoff Sutcliffe;Christoph Benzmüller

113
Citations
The TPTP world - infrastructure for automated reasoning

Geoff Sutcliffe

103
Citations
Using the TPTP language for writing derivations and finite interpretations

Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Allen Van Gelder

93
Citations
The development of CASC

Francis Jeffry Pelletier;Geoff Sutcliffe;Christian Suttner

93
Citations
Using the TPTP language for writing derivations and finite interpretations

Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Allen Van Gelder

92
Citations
The TPTP typed first-order form with arithmetic

Geoff Sutcliffe;Stephan Schulz;Koen Claessen;Peter Baumgartner

88
Citations
THF0 --- The Core of the TPTP Language for Higher-Order Logic

Christoph Benzmüller;Florian Rabe;Geoff Sutcliffe

84
Citations
TSTP Data-Exchange Formats for Automated Theorem Proving Tools

Geoff Sutcliffe;Jürgen Zimmer;Stephan Schulz

78
Citations
ATP and Presentation Service for Mizar Formalizations

Josef Urban;Piotr Rudnicki;Geoff Sutcliffe

75
Citations
A Computational Future for Preventing HIV in Minority Communities: How Advanced Technology Can Improve Implementation of Effective Programs

C. Hendricks Brown;David C. Mohr;Carlos G. Gallo;Christopher Mader

67
Citations
SRASS - A Semantic Relevance Axiom Selection System

Geoff Sutcliffe;Yury Puzis

66
Citations

Frequent Co-Authors

Josef Urban Czech Technical University in Prague

Andrei Voronkov University of Manchester

Deborah L. McGuinness Rensselaer Polytechnic Institute

Allen Van Gelder University of California, Santa Cruz

Koen Claessen Chalmers University of Technology

Cesare Tinelli University of Iowa

Gerard de Melo Hasso Plattner Institute

Sebastian Rudolph TU Dresden

Thomas W. Valente University of Southern California

Guillermo Prado University of Miami

External Links

Personal website of Geoff Sutcliffe

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens the door to a wide variety of related programs and pathways. For students interested in a solid STEM foundation, online physics degrees can be a great choice, offering flexibility and affordability.

If you are drawn to trends in data, machine learning, and analytics, consider following a data science learning path. Many universities now offer online data science degrees, catering to both beginners and those looking to advance their skills.

Technology enthusiasts may also want to explore accredited online electrical engineering programs. These programs teach the hardware, circuits, and systems that often complement computer science studies.

Finally, for those seeking quick entry into the workforce or side career growth, there are numerous easy licenses and certifications to get — perfect for boosting your resume and job prospects with minimal time investment.