Geoff Sutcliffe

Professor

Phone:
(305) 284-2158
Locator Code:
4245
 
About
Home Page: http://www.cs.miami.edu/~geoff
Career

Education

1992Ph.D. Thesis: A Linear Deduction System with Integrated Semantic Guidance, University of Western Australia
1986M.Sc. Thesis: Computerised Representation and Manipulation of Graphs, University of Natal
1983B.Sc. Hons, University of Natal

Professional Experience

2014 - Professor, University of Miami, USA
2001 - 2014Associate Professor, University of Miami, USA
1996 - 2000enior Lecturer (Associate Professor), James Cook University, Australia
2000 - Visiting Associate Professor, University of Miami, USA
1993 - 1995Lecturer (Assistant Professor), James Cook University, Australia
1986 - 1992Lecturer (Assistant Professor), Edith Cowan University, Australia
1985 - Lecturer, University of Durban/Westville, South Africa
1981 - 1985Tutor (Teaching Assistant), University of Natal, South Africa

Conferences & Events

2018
Making Belnap's "Useful Four-Valued Logic" Useful | Proceedings of the 31st International FLAIRS Conference (Melbourne, USA)

Sutcliffe G., Pelletier J., Hazen A. 

116-121.

2017
Detecting Inconsistencies in Large First-Order Knowledge Bases | Proceedings of the 26th International Conference on Automated Deduction (Gothenburg, Sweden)

Schulz S., Sutcliffe G., Urban J., Pease A.

310-325

More Conferences |

Memberships

Association for Automated Reasoning
1994-2010
Association for Logic Programming
1994-1995
IEEE
1994
Research

LIST OF SPECIALTIES: Automated Theorem Proving (ATP), Evaluation of ATP systems, Distributed and Parallel ATP systems

Research Projects

US$3809 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2017
US$999047 Stump A. (PI), Sutcliffe G. (PI), Tinelli C. (co-PI), StarExec: Cross-Community Infrastructure for Logic Solving, NSF Computing Research Infrastructure Grant

2017-2020

($446850 to Sutcliffe)

US$1740 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2016
US$3818 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2015
US$57219 Sutcliffe G., SystemOnTPTP - Online Services for Automated Theorem Proving in Classical Logic, NSF Computing Research Infrastructure Grant.
2014-2015
US$2071 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2014
US$528 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project
2013
US$5468 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project
2012
US$1857565 Stump A. (PI), Sutcliffe G. (PI), Tinelli C. (co-PI), StarExec: Cross-Community Infrastructure for Logic Solving, NSF Computing Research Infrastructure Grant.

2011-2014

$170297 to Sutcliffe

US$500 Sutcliffe G., Unrestricted gift to the University of Miami in support of CASC-23
2011
US$726 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project, Various donors
2010
US$99947 Stump A. (PI), Sutcliffe G. (PI), Tinelli C. (co-PI), *-EXEC: A Cross-Community Solver Execution Service, NSF Computing Research Infrastructure Grant

2010

$55742 to Sutcliffe

US$1268 Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project, Various donors
2009
€240 Sutcliffe G. (Researcher), Rabe F., Kohlhase M. (Hosts), A TPTP-OMDoc Bridge, Jacobs University Bremen ICTS Fellowship.
2008
€130109 Sutcliffe G. (Researcher), Benzmüller C. (Host), An Infrastructure for Typed Higher-order Form Automated Theorem Proving, European Union Marie Curie International Incoming Fellowship
2008
US$467575 Sutcliffe G. (PI), Kocak H. (co-PI), Pestien V. (co-PI), Rosenberg B. (co-PI), Computer Science and Mathematics for Scientists, NSF Scholarships in Science, Technology, Engineering, and Mathematics
2007‑2011
US$20000 Sutcliffe G., Unrestricted gift to the University of Miami in support of Research in Automated Reasoning, Articulate Software
2007
US$1500 Sutcliffe G., Unrestricted gift to the University of Miami in support of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Microsoft Research
2007
€176076 Urban J. (Researcher), Sutcliffe G. (Host), Automating Reasoning in Large Formal Mathematical Knowledge Bases, European Union Marie Curie International Outgoing Fellowship
2006‑2007
US$2500 Voronkov A., Sutcliffe G., Unrestricted gift to the University of Miami in support of the 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Microsoft Research
2005
US$27281 Sutcliffe G. (PI), The Use of Relevance, Axiom Selection, and Lemmas, in Automated Theorem Proving, University of Miami Small Grant
2004‑2005
AU$100000 Antoniou G. (PI), Sutcliffe G. (Co-PI), Stuckey P. (Co-PI), Foo N. (Co-PI), A National Distributed Facility for Logic- and Constraint-Based Software Tools, Research Infrastructure Equipment and Facilities Scheme, Australian Research Council
2000‑2002
AU$3800 Sutcliffe G. (PI), The TPTP Problem Library, James Cook University MRG
1995
AU$5000 Sutcliffe G. (PI), The TPTP Problem Library, James Cook University MRG
1994
DM4000 Suttner C. (PI), Sutcliffe G. (Co-PI), The TPTP Problem Library, Grant from the Bundesministerium fuer Forschung und Technology (German Ministry for Research)
1994
AU$1725 Sutcliffe G. (PI), The TPTP Problem Library, Edith Cowan University grant
1992
AU$5000 Sutcliffe G. (PI), Automated Reasoning on a Distributed Computer Network, Edith Cowan University grant
1992

Publications

Sutcliffe G. "The CADE-26 Automated Theorem Proving System Competition - CASC-26" AI Communications 419-43230(6) (2017).


Sutcliffe G. "he TPTP Problem Library and Associated Infrastructure - From CNF to TH0, TPTP v6.4.0" Journal of Automated Reasoning 483-50259(4) (2017).


More Publications