General

Personal

Name	Geoff Sutcliffe
Date of birth	28 October 1961
Place of birth	N'dola, Zambia
Citizenship	Australia and United Kingdom
Residency	USA (Green Card)

Education

1992	PhD	University of Western Australia	(Thesis: A Linear Deduction System with Integrated Semantic Guidance)
1986	MSc	University of Natal	(Thesis: Computerised Representation and Manipulation of Graphs)
1983	BSc (Hons)	University of Natal

Employment

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

Research

Research Interests

Automated Theorem Proving (ATP)
Evaluation of ATP systems
Distributed and Parallel ATP systems

: Publications

Invited Talks

2024	Invited speaker: Stepping Stones in the TPTP World, 12th International Joint Conference on Automated Reasoning (Nancy, France).
2024	Invited speaker: The TPTP World - Infrastructure for Automated Reasoning, International Symposium on Artificial Intelligence and Mathematics 2024, (Ft Lauderdale, USA).
2023	Invited talk: TPTP World Standards and Tools for Tarskian and Kripke Interpretations, Dagstuhl Seminar 23471: The Next Generation of Deduction Systems: from Composition to Compositionality (Schloss Dagstuhl, Germany).
2022	Invited speaker: The Logic Languages of the TPTP World, 8th Workshop on Practical Aspects of Automated Reasoning, (Haifa, Israel).
2021	Invited talk: The TPTP World - Infrastructure for Automated Reasoning, Coloquio Nacional de Intelligencia Artificial (Online, YouTube).
2019	Invited talk: The TPTP World - Infrastructure for Automated Reasoning, Czech Institute of Informatics, Robotics and Cybernetics (Prague, Czech Republic, YouTube).
2019	Invited talk: The CADE ATP System Competition, TOOLympics at TACAS'19 (Prague, Czech Republic).
2015	Invited speaker: Things that you can't do with a Vampire, 2nd Vampire Workshop (Berlin, Germany).
2015	Lecturer: The TPTP World - Infrastructure for Automated Reasoning, 11th Reasoning Web Summer School (Berlin, Germany).
2014	Invited speaker: The TPTP Process Instruction Language, 11th International Workshop on User Interfaces for Theorem Provers (Vienna, Austria).
2014	Invited speaker: QED and the TPTP World, Twenty Years of the QED Manifesto (Vienna, Austria).
2014	Invited speaker: The TPTP Typed First-order Form with Arithmetic: The Language and Some Applications, 6th Podlasie Conference on Mathematics (Bialystok, Poland).
2010	Invited speaker: The TPTP World - Infrastructure for Automated Reasoning, 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Dakar, Senegal).
2009	Invited speaker: Evaluating Automated Theorem Proving Systems, AAAI Spring Symposium on Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (Stanford, USA).
2008	Invited speaker: Management and Analysis of ATP System Proofs, New Waves in Philosophy of Mathematics (Miami, USA).
2007	Invited speaker: TPTP, TSTP, CASC, etc., 2nd International Computer Science Symposium in Russia (Ekaterinburg, Russia).
2007	Invited speaker: SRASS - a Semantic Relevance Axiom Selection System, 14th Automated Reasoning Workshop (London, United Kingdom).
2003	Panelist: SMT-LIB - The Satisfiability Modulo Theories Library, Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 19th International Conference on Automated Deduction (Miami, USA).
2003	Invited speaker: A Grand Challenge of Theorem Discovery, Workshop on Challenges and Novel Applications for Automated Reasoning, 19th International Conference on Automated Deduction (Miami, USA).
2002	Invited speaker: Mathematics in the TPTP Problem Library, Special Session on Automated Reasoning in Mathematics and Logic, 2002 AMS and MAA Spring Southeastern Section Meetings (Atlanta, USA).
2001	Panelist: Artificial Intelligence Competitions, Boon or Bane?, 17th International Joint Conference on Artificial Intelligence (Seattle, USA).
2001	Panelist: Benchmark Libraries and Algorithm Competitions, Workshop on Empirical Methods in Artificial Intelligence, 17th International Joint Conference on Artificial Intelligence (Seattle, USA).
2001	Invited speaker: Evaluation of 1st Order ATP Systems, Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics, International Joint Conference on Automated Reasoning (Siena, Italy).

: Publications

2024	$70000	Sutcliffe G., Amazon Research Award: Automated Theorem Proving Community Infrastructure in the AWS Cloud. Additionally $20000 in AWS credits.
2024	€6130	Steen A., Fontaine P., Sutcliffe G., EuroProofNet WG2 TPTP Tea Party.
2024	€9000	University of Potsdam, Daten, Formaten und Software für Automatisches Theorembeweisen aus der TPTP-Welt, Subcontract.
2024	€5321	Blanqui F., Sutcliffe G., ENS Paris-Saclay Visiting Scholar.
2023	US$4100 + €1420	Sutcliffe G., Unrestricted gifts in support of the TPTP project.
2023	€6800	Blanqui F., Sutcliffe G., Steen A., Fontaine P., EuroProofNet WG2 TPTP Tea Party.
2023	€1014	Sutcliffe G., COST Action Inter-WG Developers Meeting.
2023	€3400	Blanqui F., Sutcliffe G., ENS Paris-Saclay Visiting Scholar.
2023	€2867	Benzmüller C., Sutcliffe G., University of Bamberg Visiting Scholar.
2022	US$2602 + €3788	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2021	US$3496	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2020	US$3210	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2018	US$912	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2018	US$990	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2017	US$3809	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2017-2020	US$1057499	Stump A. (PI), Sutcliffe G. (PI), Tinelli C. (co-PI), StarExec: Cross-Community Infrastructure for Logic Solving, NSF Computing Research Infrastructure Grant. ($446850 to Sutcliffe)
2016	US$1740	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2015	US$3818	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2014-2015	US$57219	Sutcliffe G., SystemOnTPTP - Online Services for Automated Theorem Proving in Classical Logic, NSF Computing Research Infrastructure Grant.
2014	US$2071	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2013	US$528	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2012	US$5468	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project.
2011-2014	US$1959838	Stump A. (PI), Sutcliffe G. (PI), Tinelli C. (co-PI), StarExec: Cross-Community Infrastructure for Logic Solving, NSF Computing Research Infrastructure Grant. ($150295 to Sutcliffe)
2011	US$500	Sutcliffe G., Unrestricted gift to the University of Miami in support of CASC-23.
2010	US$726	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project, Various donors.
2010	US$84197	Stump A. (PI), Sutcliffe G. (PI), Tinelli C. (co-PI), *-EXEC: A Cross-Community Solver Execution Service, NSF Computing Research Infrastructure Grant. ($15750 to Sutcliffe)
2009	US$1268	Sutcliffe G., Unrestricted gifts to the University of Miami in support of the TPTP project, Various donors.
2008	€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.
2007‑2011	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	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.
2006‑2007	€176076	Urban J. (Researcher), Sutcliffe G. (Host), Automating Reasoning in Large Formal Mathematical Knowledge Bases, European Union Marie Curie International Outgoing Fellowship.
2005	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.
2004‑2005	US$27281	Sutcliffe G. (PI), The Use of Relevance, Axiom Selection, and Lemmas, in Automated Theorem Proving, University of Miami Small Grant.
2000‑2002	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.
1995	AU$3800	Sutcliffe G. (PI), The TPTP Problem Library, James Cook University MRG.
1994	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).
1992	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.

Professional

Editing

2023-ongoing	Editorial Board, Logic Journal of the IGPL
2015-ongoing	Editorial Board, Acta Informatica
2014-ongoing	Editorial Board, Formalized Mathematics
2003	Benchmarks Area Editor, QPQ Repository for Deductive Software Components

Edited Volumes

Platzer A., Sutcliffe G. (2022), Selected Extended Papers of CADE 2021, Journal of Automated Reasoning 66, Springer Nature.

Platzer A., Sutcliffe G. (2021), Proceedings of the 28th International Conference on Automated Deduction (Pittsburgh, USA), Lecture Notes in Artificial Intelligence 12699, Springer-Verlag.

Danoy G., Pang J., Sutcliffe G. (2020), Proceedings of the 6th Global Conference on Artificial Intelligence (Online, Earth), EPiC Series in Computing 72.

Barthe G., Korovin K., Schulz S., Suda M., Sutcliffe G., Veanes M. (2018), Proceedings of the LPAR-22 Workshops and Short Papers (Awassa, Ethiopia), Kalpa Publications in Computing 9.

Eiter T., Sands D., Sutcliffe G., Voronkov A. (2017), Proceedings of the IWIL 2017 Workshop and LPAR-21 Short Presentations (Maun, Botswana), Kalpa Publications in Computing 1.

Benzmüller C., Sutcliffe G., Rojas R. (2016), Proceedings of the 2nd Global Conference on Artificial Intelligence (Berlin, Germany), EPiC Proceedings in Computing 41.

Gottlob G., Sutcliffe G., Voronkov A. (2015), Proceedings of the 2015 Global Conference on Artificial Intelligence (Tbilisi, Georgia), EPiC Proceedings in Computing 36.

Fehnker A., McIver A., Sutcliffe G., Voronkov A. (2015), Short Presentation Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Suva, Fiji), EPiC Proceedings in Computing 35.

Konev B., Schulz S., Sutcliffe G. (2013), Proceedings of the 10th International Workshop on the Implementation of Logics (Stellenbosch, South Africa).

Klebanov V., Beckert B., Biere A., Sutcliffe G. (2012), Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (Manchester, England), CEUR Workshop Proceedings 873. (PDF)

Schmidt R., Sutcliffe G., Schulz S. (2009), Special Issue: Empirically Successful Computerized Reasoning, Journal of Applied Logic 7(1).

Rudnicki P., Sutcliffe G., Konev B., Schmidt R., Schulz S. (2008), Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics (Doha, Qattar), CEUR Workshop Proceedings 418. (PDF)

Sutcliffe G., Colton S., Schulz S. (2008), Proceedings of the CICM Workshop on Empirically Successful Automated Reasoning in Mathematics, (Birmingham, United Kingdom), CEUR Workshop Proceedings 378. (PDF)

Sutcliffe G., Urban J., Schulz S. (2007), Proceedings of the Workshop on Empirically Successful Automated Reasoning in Large Theories, 21st International Conference on Automated Deduction (Bremen, Germany), CEUR Workshop Proceedings 257. (PDF)

Wilson, D., Sutcliffe G. (2007), Proceedings of the 20th International FLAIRS Conference (Key West, USA), AAAI Press.

Fischer B., Sutcliffe G., Schulz S. (2007), Special Issue: Empirically Successful Automated Reasoning - Applications, Journal of Automated Reasoning 37(1-2).

Fischer B., Sutcliffe G., Schulz S. (2007), Special Issue: Empirically Successful Automated Reasoning - Systems, Journal of Automated Reasoning 36(4).

Benzmueller C., Fischer B. Sutcliffe G., (2006), Proceedings of the 6th International Workshop on the Implementation of Logics (Phnom Penh, Cambodia), CEUR Workshop Proceedings 212. (PDF)

Sutcliffe G., Schmidt R., Schulz S. (2006), Proceedings of the Workshop on Empirically Successful Computerized Reasoning, 3rd International Joint Conference on Automated Reasoning (Seattle, USA), CEUR Workshop Proceedings 192. (PDF)

Sutcliffe G., Goebel, R. (2006), Proceedings of the 19th International FLAIRS Conference (Melbourne Beach, USA), AAAI Press.

Schulz S., Sutcliffe G., Tammet T. (2006), Special Issue: Empirically Successful First Order Reasoning, International Journal on Artificial Intelligence Tools 15(1).

Sutcliffe G., Voronkov, A. (2005), Proceedings of the 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Montego Bay, Jamaica), Lecture Notes in Artificial Intelligence 3835, Springer-Verlag.

Sutcliffe G., Fischer B., Schulz S. (2005), Proceedings of the Workshop on Empirically Successful Classical Automated Reasoning, 20th International Conference on Automated Deduction (Tallinn, Estonia). (PDF)

Sutcliffe G., Schulz S., Tammet T. (2004), Proceedings of the Workshop on Empirically Successful First Order Reasoning, 2nd International Joint Conference on Automated Reasoning (Cork, Ireland). (PDF)

Sutcliffe G., Pelletier, F.J., Suttner, C. (2002), Proceedings of the Workshop on Problems and Problems Sets for ATP, 18th International Conference on Automated Deduction (Copenhagen, Denmark). (PDF)

Sutcliffe G., Suttner C.B. (1997), Special Issue: The CADE-13 ATP System Competition, Journal of Automated Reasoning 18(2).

Evaluations

2020	Sutcliffe G., Panel member, NSF 19-512 CISE Community Research Infrastructure (CCRI).
2020	Sutcliffe G., Panel member, Confluence Competition (CoCo) 2020.
2019	Sutcliffe G., Panel member, Confluence Competition (CoCo) 2019.

Program Committees

2025	Program Committee, 18th Conference on Intelligent Computer Mathematics (Brasilia, Brazil).
2025	Artifact Evaluation Committee, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Hamilton, Canada).
2024	Program Committee, International Workshop on Quantification 2024 (Nancy, France).
2024	Program Committee, 9th Workshop on Practical Aspects of Automated Reasoning (Nancy, France).
2024	Artifact Evaluation Committee, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Luxembourg City, Luxembourg).
2023	Program Committee, 5th International Conference on Logic and Argumentation (Hangzhou, China).
2022	Technical Committee, 1st International Workshop on Trustworthy AI for the Future of Risk Management (Belfast, United Kingdom).
2021	Program Committee, 4th International Conference on Logic and Argumentation (Hangzhou, China).
2021	Program Committee, 6th Conference on Artificial Intelligence and Theorem Proving (Aussois, France).
2021	Program Co-chair, 28th International Conference on Automated Deduction (Pittsburgh, USA).
2021	Program Committee, 7th Workshop on Proof eXchange for Theorem Proving (Pittsburgh, USA).
2021	Program Committee, 2021 Workshop on Parallel and Distributed Automated Reasoning (Pittsburgh, USA).
2021	Program Committee, 3rd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Pittsburgh, USA).
2020	Program Committee, 13th Conference on Intelligent Computer Mathematics (Bertinoro, Italy).
2020	Program Committee, 10th International Joint Conference on Automated Reasoning (Paris, France).
2020	Program Committee, 7th Workshop on Practical Aspects of Automated Reasoning (Paris, France).
2020	Program Committee, 14th International Workshop on the Implementation of Logics (Alicante, Spain).
2020	Program Committee, 5th Conference on Artificial Intelligence and Theorem Proving (Aussois, France).
2019	Program Committee, 27th International Conference on Automated Deduction (Natal, Brazil).
2019	Program Committee, 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Natal, Brazil).
2019	Program Committee, 6th Workshop on Proof eXchange for Theorem Proving (Natal, Brazil).
2019	Program Committee, 4th Conference on Artificial Intelligence and Theorem Proving (Obergurgl, Austria).
2018	Program Committee, 13th International Workshop on the Implementation of Logics (Awassa, Ethiopia).
2018	Program Committee, 9th International Joint Conference on Automated Reasoning (Oxford, United Kingdom).
2018	Program Committee, 3rd Conference on Artificial Intelligence and Theorem Proving (Aussois, France).
2017	Program Committee, 5th Workshop on Proof Exchange for Theorem Proving (Brasilia, Brazil).
2017	Program Committee, 26th International Conference on Automated Deduction (Gothenburg, Sweden).
2017	Program Committee, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (Gothenburg, Sweden).
2017	Program Committee, 10th Conference on Intelligent Computer Mathematics (Edinburgh, United Kingdom).
2017	Program Committee, 30th International FLAIRS Conference (Marco Island, USA).
2017	Program Committee, 2nd Conference on Artificial Intelligence and Theorem Proving (Obergurgl, Austria).
2016	Program Committee, Mathematical Foundations of Informatics Conference, 2016 (Chisinau, Moldova).
2016	Program Committee, 5th Workshop on Practical Aspects of Automated Reasoning (Coimbra, Portugal).
2016	Program Committee, 9th Conference on Intelligent Computer Mathematics (Bialystok, Poland).
2016	Program Committee, 5th Workshop on Controlled Natural Language (Aberdeen, United Kingdom).
2016	Program Committee, 29th International FLAIRS Conference (Key Largo, USA).
2016	Program Committee, 1st on Artificial Intelligence and Theorem Proving (Obergurgl, Austria).
2015	Program Committee, 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Suva, Fiji).
2015	Program Committee, 11th International Workshop on the Implementation of Logics (Suva, Fiji).
2015	Program Co-chair, 1st Global Conference on Artificial Intelligence (Tbilisi, Georgia).
2015	Program Committee, Workshop on Foundations of Informatics (Chisinau, Republic of Moldova).
2015	Program Committee, 25th International Conference on Automated Deduction (Berlin, Germany).
2015	Program Committee, 4th Workshop on Proof eXchange for Theorem Proving (Berlin, Germany).
2015	Program Committee, Conference on Intelligent Computer Mathematics, Systems and Data Track, (Washington, USA).
2015	Program Committee, 28th International FLAIRS Conference (Hollywood, USA).
2014	Program Committee, 4th Workshop on Controlled Natural Language (Galway, Ireland).
2014	Program Committee, 7th International Joint Conference on Automated Reasoning (Vienna, Austria).
2014	Program Committee, IJCAR Workshop on Knowledge Intensive Automated Reasoning (Vienna, Austria).
2014	Program Committee, 4th Workshop on Practical Aspects of Automated Reasoning (Vienna, Austria).
2014	Program Committee, 27th International FLAIRS Conference (Pensacola Beach, USA).
2013	Program Committee, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Stellenbosch, South Africa).
2013	Program Committee, 3rd International Workshop on Proof Exchange for Theorem Proving (Lake Placid, USA).
2013	Program Committee, CADE-24 Workshop on Knowledge Intensive Automated Reasoning (Lake Placid, USA).
2013	Program Committee, Do-Form: Enabling Domain Experts to use Formalised Reasoning (Exeter, United Kingdom).
2012	Program Committee, 3rd Workshop on Controlled Natural Language (Zurich, Switzerland).
2012	Program Committee, 10th International Workshop On User Interfaces for Theorem Provers (Bremen, Germany).
2012	Program Committee, 2nd International Workshop on Proof Exchange for Theorem Proving (Manchester, United Kingdom).
2012	Program Committee, 3rd Workshop on Practical Aspects of Automated Reasoning (Manchester, United Kingdom).
2012	Program Committee, 6th International Joint Conference on Automated Reasoning (Manchester, United Kingdom).
2012	Program Committee, Alan Turing Centenary Conference (Manchester, United Kingdom).
2012	Program Committee, 9th International Workshop on the Implementation of Logics (Merida, Venezuela).
2011	Program Committee, 23rd International Conference on Automated Deduction (Wroclaw, Poland).
2011	Program Committee, 1st Workshop on Automated Theory Engineering (Wroclaw, Poland).
2011	Program Committee, 1st Workshop on Proof eXchange for Theorem Proving (Wroclaw, Poland).
2010	Program Committee, Workshop on Controlled Natural Language 2010 (Marettimo Island, Italy).
2010	Program Committee, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Yogyakarta, Indonesia).
2010	Program Committee, 5th International Joint Conference on Automated Reasoning (Edinburgh, United Kingdom).
2010	Program Committee, IJCAR 2010 Workshop on Practical Aspects of Automated Reasoning (Edinburgh, United Kingdom).
2010	Program Committee, 9th International Workshop on User Interfaces for Theorem Provers (Edinburgh, United Kingdom).
2010	Program Committee, 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Dakar, Senegal).
2009	Program Committee, IJCAI-09 workshop on Competitions in Artificial Intelligence and Robotics (Pasedena, USA).
2009	Program Committee, 32nd Annual Conference on Artificial Intelligence (Paderborn, Germany).
2009	Program Committee, 22nd International Conference on Automated Deduction (Montreal, Canada).
2008	Program Committee, 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Doha, Qatar).
2008	Program Committee, 7th International Workshop on the Implementation of Logics (Doha, Qatar).
2008	Program Committee, User Interfaces for Theorem Provers 2008 (Montreal, Canada).
2008	Program Committee, IJCAR 2008 Workshop on Practical Aspects of Automated Reasoning (Sydney, Australia).
2008	Program Committee, 4th International Joint Conference on Automated Reasoning (Sydney, Australia).
2007	Program Committee, IEEE International Conference on Tools with Artificial Intelligence (Patras, Greece).
2007	Program Co-chair, 20th International FLAIRS Conference (Key West, USA).
2006	Program Committee, 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Phnom Penh, Cambodia).
2006	Program Committee, 3rd European STarting AI Researcher Symposium (Palacongressi, Italy).
2006	Program Committee, 3rd International Joint Conference on Automated Reasoning (Seattle, USA).
2006	Program Co-chair, 19th International FLAIRS Conference (Melbourne Beach, USA).
2006	Program Committee, Special Track on Natural Language and Knowledge Representation, 19th International FLAIRS Conference (Melbourne Beach, USA).
2005	Program Co-chair, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Montego Bay, Jamaica).
2005	Program Committee, LPAR-12 Workshop on Empirically Successful Reasoning in Higher Order Logic (Montego Bay, Jamaica).
2005	Program Committee, 20th International Conference on Automated Deduction (Tallinn, Estonia).
2005	Program Committee, 5th International Workshop on the Implementation of Logics (Montevideo, Uruguay).
2005	Program Committee, 18th International FLAIRS Conference (Clearwater Beach, USA).
2004	Program Committee, 17th International FLAIRS Conference (Miami, USA).
2003	Program Committee, Workshop on Agents and Automated Reasoning, 18th International Joint Conference on Artificial Intelligence (Acapulco, Mexico).
2003	Program Committee, 16th International FLAIRS Conference (St Augustine, USA).
2002	Program Committee, 18th International Conference on Automated Deduction (Copenhagen, Denmark).
2002	Program Committee, 15th International FLAIRS Conference (Pensacola, USA).
2001	Program Committee, 14th Australian Joint Conference on Artificial Intelligence (Adelaide, Australia).
2001	Program Committee, 2nd Australasian Workshop on Computational Logic (Gold Coast, Australia).
2001	Program Committee, Workshop on Empirical Methods in Artificial Intelligence, 17th International Joint Conference on Artificial Intelligence (Seattle, USA).
2000	Program Committee, Workshop on Empirical Methods in Artificial Intelligence, 14th European Conference on Artificial Intelligence (Berlin, Germany).
1999	Program Committee, Special Track on Parallel and Distributed Reasoning, 12th International Florida Artificial Intelligence Research Symposium (Orlando, USA).
1999	Program Committee, 12th Australian Joint Conference on Artificial Intelligence (Sydney, Australia).
1998	Program Committee, 6th International Conference on the Practical Application of Prolog (London, England).
1997	Program Committee, 14th International Conference on Automated Deduction (Townsville, Australia).
1997	Program Committee, Special Track on Using AI Methods to Control Automated Deduction, 10th Florida Artificial Intelligence Research Symposium, (Daytona Beach, USA).
1996	Program Committee, 13th International Conference on Automated Deduction (New York, USA).
1996	Program Committee, Special Track on Controlling Search in Automated Reasoning Systems, 9th Florida Artificial Intelligence Research Symposium (Key West, USA).

Conference Management

2025	Publicity Chair, 30th International Conference on Automated Deduction (Stuttgart, Germany).
2024	Conference Chair, 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Balaclava, Mauritius).
2023	Workshop Chair, 13th TPTP Tea Party (Saclay, France).
2023	Conference Chair, 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Manizales, Colombia).
2022	Publicity Chair, 11th International Joint Conference on Automated Reasoning (Haifa, Israel).
2020	Conference Chair, 6th Global Conference on Artificial Intelligence (Hangzhou, China - Online).
2019	Publicity Chair, 27th International Conference on Automated Deduction (Natal, Brazil).
2018	Conference Chair, 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (Awassa, Ethiopia).
2018	LRG Representative, 4th Global Conference on Artificial Intelligence (Luxembourg).
2018	Publicity Chair, 9th International Joint Conference on Automated Reasoning (Oxford, United Kingdom).
2017	Conference Chair, 3rd Global Conference on Artificial Intelligence (Miami, USA).
2017	Conference Chair, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Maun, Botswana).
2017	Program Co-chair, 12th International Workshop on the Implementation of Logics (Maun, Botswana).
2016	Program Co-chair, 2nd Global Conference on Artificial Intelligence (Berlin, Germany).
2015‑ongoing	Member of the Steering Committee, Linking Research Globally.
2013	Conference Co-chair, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Stellenbosch, South Africa).
2013	Co-organizer, 10th International Workshop on the Implementation of Logics (Stellenbosch, South Africa).
2013	Organizer, StarExec Workshop 2013 (Lake Placid, USA).
2013‑ongoing	President, Florida Artificial Intelligence Research Society.
2012	Organizer, 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (Manchester, United Kingdom).
2012	Organizer, IJCAR 2012 StarExec Workshop (Manchester, United Kingdom).
2012	Satellite Events co-chair, 6th International Joint Conference on Automated Reasoning (Manchester, United Kingdom).
2012	Conference Chair, 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Merida, Venezuela).
2011‑2017	Member of the Board of Trustees, International Conference on Automated Deduction.
2006‑ongoing	Member of the Steering Committee, International Conference on Logic for Programming Artificial Intelligence and Reasoning.
2005‑2013	Vice-president, Florida Artificial Intelligence Research Society.
2010	Organizer, Dagstuhl Workshop, QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning (Dagstuhl, Germany).
2010	Publicity Chair, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Yogyakarta, Indonesia).
2010	Organizer, 8th International Workshop on the Implementation of Logics, (Yogyakarta, Indonesia).
2010	Organizer, IJCAR 2010 Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, (Edinburgh, United Kingdom).
2004‑2010	Member of the Board of Trustees, International Conference on Automated Deduction.
2008	Organizer, The LPAR 2008 Workshop on Knowledge Exchange: Automated Provers and Proof Assistants (Doha, Qatar).
2008	Organizer, CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics (Birmingham, United Kingdom).
2008	Publicity chair, 4th International Joint Conference on Automated Reasoning (Sydney, Australia).
2008	Conference chair, 21st International FLAIRS Conference (Coconut Grove, USA).
2007	Organizer, Workshop on Empirically Successful Automated Reasoning in Large Theories, 21st International Conference on Automated Deduction (Bremen, Germany).
2007	Judge, 2007 SAT Competition.
2006	Organizer, 6th International Workshop on the Implementation of Logics, 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, (Phnom Penh, Cambodia).
2006	Organizer, Workshop on Empirically Successful Computerized Reasoning, 2006 Federated Logic Conference (Seattle, USA).
2005	Conference Chair, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (Montego Bay, Jamaica).
2005	Organizer, Workshop on Empirically Successful Classical Automated Reasoning, 20th International Conference on Automated Deduction (Tallinn, Estonia).
2004	Organizer, Workshop on Empirically Successful First Order Reasoning, 2nd International Joint Conference on Automated Reasoning (Cork, Ireland).
2004	Local Arrangements Co-chair, 17th International FLAIRS Conference (Miami, USA).
2003	Conference Chair, 19th International Conference on Automated Deduction (Miami, USA).
2002	Organizer, Problems and Problem Sets Workshop, 18th International Conference on Automated Deduction (Copenhagen, Denmark).
2001	Coorganizer, Workshop on Empirical Methods in Artificial Intelligence, 17th International Joint Conference on Artificial Intelligence (Seattle, USA).
2000	Coorganizer, Workshop on Empirical Methods in Artificial Intelligence, 14th European Conference on Artificial Intelligence (Berlin, Germany).
1997	Conference Chair, 14th International Conference on Automated Deduction (Townsville, Australia).
1996‑ongoing	Organizer, CADE ATP System Competition.
1996	Organising Committee, ECAI-96 Workshop on Empirical Artificial Intelligence, European Conference on Artificial Intelligence (Budapest, Hungary),
1996	Local Arrangements Committee, Pacific Rim International Conference on Artificial Intelligence (Cairns, Australia).
1995	Local Arrangements Committee, Winter School in Artificial Intelligence, Department of Computer Science, James Cook University (Magnetic Island, Australia).
1994	Co-organiser, Workshop 2C - Evaluation of Automated Theorem Proving Systems, 12th International Conference on Automated Deduction (Nancy, France).

Society Memberships

2021-ongoing	Association for Computing Machinery.
1994‑ongoing	Association for Automated Reasoning.
1994-1995	Association for Logic Programming.
1994	IEEE.

Service and Consulting

2021‑ongoing	Member of the Advisory Committee of the Artificial Intelligence Research Center, Ulster University.
2021-ongoing	Chief Scientific Officer, Articulate Software
2021-ongoing	Member of Technical Committee, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University.
2013‑ongoing	Partner, Model Accuracy
2006‑2007	Sutcliffe G., Translation of SUMO from SUO-KIF to TPTP, and integration of TPTP tools into the Sigma knowledge engineering environment, Articulate Software.

Teaching

Teaching Interests

Automated Theorem Proving
Artificial intelligence
Operating systems
Systems programming

Teaching Experience

Automated Theorem Proving
Artificial intelligence
Operating systems
Systems programming
Software development (programming, data structures, software engineering)
Introduction to Computer Science (analysis and design, programming, hardware, operating systems, theory, data structures)

Nominated for a "2004 Excellence in Teaching Award". Students Supervised

Students Supervised

2021‑2024	PhD Supervisor, McKeown J., Reinforcement Learning for Guiding an Automated Theorem Proving System, University of Miami.
2021‑2021	Fulbright Scholar Co-mentor, Largacha Martinez, C., Flourishing AI, Fundacion Universitaria del Area Andin.
2020‑2021	MS Supervisor, McKeown J., Clause Representation for Proof Guidance using Neural Networks, University of Miami.
2014‑2015	PhD Supervisor, Arhami N., Automated Theorem Proving by Translation to Description Logic, University of Miami.
2012‑2014	MS Supervisor, Arhami N., The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics, University of Miami.
2012‑2014	MS Supervisor, Nassar M., Automated Theorem Proving using the TPTP Process Instruction Language, University of Miami.
2008‑2010	MS Supervisor, Watson P., A Survey of Arithmetic in Automated Theorem Proving, University of the West Indies.
2008‑2010	MS Supervisor, Dellis N., Using Controlled Natural Language for World Knowledge Reasoning, University of Miami.
2008‑2009	MS Supervisor, Kakkad A., Machine Learning for Automated Theorem Proving, University of Miami.
2007‑2008	MS Supervisor, Yerikalapudi A., Answer Extraction in Automated Reasoning, University of Miami.
2005-2006	MS Supervisor, Shen W., Automated Proofs of Relationships Between Modal Logic Systems, University of Miami.
2004‑2006	MS Supervisor, Moynihan K., Lascaux - An Intelligent Artistic Agent, University of Miami.
2003‑2005	MS Supervisor, Zhang Y., The Use of Lemmas for Solving Hard Automated Theorem Proving Problems, University of Miami.
2003‑2004	MS Supervisor, Gao Y., Automated Generation of Interesting Theorems, University of Miami.
2002‑2003	MS Supervisor, Dashti S., Proof Checking for 1st Order Automated Theorem Proving Systems, University of Miami (not completed).
2002‑2003	MS Supervisor, Zhou P., Interactive and Automated Proof Manipulation, University of Miami (not completed).
1998‑2003	MSc Supervisor, Brown M., Semantic Guidance for Linear ATP Systems, James Cook University.
1999	MSc Supervisor, Clark P., Theory Construction using ATP Systems, James Cook University, (not completed).
1994‑1995	MSc Supervisor, Rush M., Evaluating the Effect of Semantic Guidance on Automated Theorem Proving Systems, James Cook University, (not completed).
1994	MSc Supervisor, Nugroho L., A Programmer's Tool for Managing Persistent Object Structures, James Cook University.
1990	MAppSc Supervisor, Tabada W., An Analysis and Implementation of Linear Derivation Strategies, Edith Cowan University.
1999	BSc (Hons) Supervisor, Laki A., Tools for the Easy Realisation of Distributed Systems, (Hons 2A), James Cook University.
1999	BSc (Hons) Supervisor, Hutton C., DIGInet: A Prototype for a Digital Spatial Library with an Interactive GIS Interface for the Internet, (Hons 2A), James Cook University.
1998	BSc (Hons) Supervisor, Johnstone K., Intelligent WWW Search, (Hons 2A), James Cook University.
1998	BSc (Hons) Supervisor, Seyfang D., A Smart Switch ATP System, (Hons 2B), James Cook University.
1997	BSc (Hons) Supervisor, Fontana K., Automatic Analysis of Images: Segmentation of Lichen Areas on Leaves, (1st class), James Cook University
1997	BSc (Hons) Supervisor, Gunn A., POSEIDON: Processing of Electronic Source Information for Decision Ontogony, (1st class), James Cook University.
1995	BSc (Hons) Supervisor, Singh K., A Graphical User Interface for Automated Theorem Provers, (1st class), James Cook University.
1995	BSc (Hons) Supervisor, Cooney J., The TPTP Database System, James Cook University (with C. Dyreson).
1995	BSc (Hons) Supervisor, Brown M., An Intelligent Prolog Editor, (1st class), James Cook University (with A. Sloane).
1994	BSc (Hons) Supervisor, Jones K., FOLL - A Library of Routines for ATP Systems, James Cook University.
1994	BSc (Hons) Supervisor, Sharpe M., An Intelligent Document Understanding and Reproduction System, (1st class), James Cook University (With Ahmed N.).
1993	BSc (Hons) Supervisor, Ingham J., C-Linda, James Cook University.
1992	BAppSci (Hons) Supervisor, Bettermann S., An Implementation of DOS C-Linda, and Associated Problems, Edith Cowan University.

Theses Examined

2024‑	PhD Committee, Thompson R., Neuro-Symbolic Language to Logic Conversion for Rapid Policy Formalization, Naval Postgraduate School.
2024	Bachelor Thesis Examiner, Johns M., Modal Logic Problem Collection, Universität Greifswald.
2023	PhD Committee, Bonnell J., Natural Language Processing in Cultural Heritage Domains: Integrating Pretrained Language Models with Rule-based Systems for Historical Japanese Corpora, Department of Computer Science, University of Miami.
2023	PhD Monitoring Committee, Al Wardani F., Formal Reasoning using Distributed Assertions, Institut Polytechnique de Paris.
2022	PhD Committee, Vukmirović P., Implementation of Higher-Order Superposition, Theoretical Computer Science, Vrije Universiteit Amsterdam.
2017‑2019	PhD Reading Committee, Groenouwe C., Fostering Technically Augmented Human Collective Intelligence, Department of Information and Computing Sciences, Universiteit Utrecht.
2019	MS Committee, Peña P., An Omni-directional Kick Engine for NAO Humanoid Robot, Department of Computer Science, University of Miami.
2018‑2019	PhD Committee, Dhrif H., Multi-Objective Particle Swarm Optimization Algorithms for Feature Engineering in Bioinformatics, Department of Computer Science, University of Miami.
2018	PhD Committee, Steen A., Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III, Department of Mathematics and Computer Science, Freie Universität Berlin.
2017‑2018	PhD Committee member, Küçük-McGinty H., Knowledge Acquisition and Representation Methodology and its Applications, Department of Computer Science, University of Miami.
2016‑2017	PhD Committee, Sidker F., Faulty and Reliable Sensors Detection, Human Fall Detection, and Activity Recognition and Monitoring from Sensor Readings, Department of Computer Science, University of Miami.
2016	MS Committee, Maheshwari P., A Model-based Sensor Database for the Internet of Things, Department of Computer Science, University of Miami.
2016	Licentiate Discussion Leader, Kotelnikov E., First-order Boolean Logic, Department of Computer Science and Engineering, Chalmers University.
2015‑2016	Habilitation Thesis Reviewer, Kaliszyk C., Learning Assisted Automated Reasoning, Institute of Computer Science, University of Innsbruck.
2015	MS Committee, Rossembayev A., Secure Data Aggregation for Sensor Networks in the Presence of Collusion Attack using Local Outlier Factors, Department of Computer Science, University of Miami.
2015	PhD Committee, Seekircher A., Stable and Flexible Walking Motions for Physical Humanoid Robots, Department of Computer Science, University of Miami.
2014‑2015	MSc Examiner, Rose Z-A., Artificial Intelligence E-Learning - A Flash Based Approach, Mona Institute of Applied Sciences, University of the West Indies.
2010‑2015	PhD Committee, Osterberg L., Technology-Based Training for Evidence-Based Practive in Mental Health, Department of Psychology, University of Miami.
2009‑2011	PhD Committee, Dendamrongvit S., Induction of Hierarchical Multi-label Text-categorizers, Department of Computer Systems Engineering, University of Miami.
2010	MS Committee, Alkhawaja M., Semantic Geospatial Search and Ranking in the Context of the Geographical Information System TerraFly, Department of Computer Science, University of Miami.
2010	MS Committee, Abeyruwan A., PrOntoLearn: Unsupervised Lexico-Semantic Ontology Generation using Probabilistic Methods, Department of Computer Science, University of Miami.
2006‑2008	PhD Committee, Trac S., Robust Explicit Construction of 3D Configuration Spaces using Controlled Linear Perturbation, Department of Computer Science, University of Miami.
2005‑2008	PhD Committee, Kool J., An Individual-based Approach for Modelling Genetic Processes in Population Networks, Rosenstiel School of Marine and Atmoshperic Science, University of Miami.
2007	MS Committee, Roach R., Focus Based Semantic Analysis, Department of Electrical and Computer Engineering, University of Miami.
2006‑2007	MS Committee, Puzis Y., Robust Arrangement Construction Using Linear Programming, Department of Computer Science, University of Miami.
2004	PhD Committee, Haroun P., Enhancing Theorem Provers by Delayed Clause Construction and Attribute Sequences, McGill University.
2003	MS Committee, Rupenaguntla S., FAM-based Call Admission Control Algorithms for Interference Limited Mobile Cellular CDMA Systems, Department of Computer Science, University of Miami.
2002	MS Committee, Niu A., SSH Wizard, Department of Computer Science, University of Miami.
2000	MS Committee, Mei X., Medical Information Systems, University of Miami.
1990	MSc Examiner, Roberts T., The Development of an Expert System for the Diagnosis of Diseases in Fibre and Dairy Goats, Western Australian College of Advanced Education.

Service

University Service

2024	Acting Director of Undergraduate Studies, Department of Computer Science, University of Miami.
2024	Member of the Prototype Research Collaboration Network, University of Miami.
2023	Member of the Faculty Search Committee, Department of Computer Science, University of Miami.
2023-ongoing	Member of the University Curriculum Committee, University of Miami.
2023-ongoing	Chairman of the College of Arts and Science Council, University of Miami.
2023	Designed the BA DS&AI major for the Department of Computer Science, University of Miami.
2022-ongoing	Chairman of the College of Arts and Sciences General Education Review Committee, University of Miami.
2022	Designed the BS DS&AI major for the Department of Computer Science, University of Miami.
2021-2023	Member of the College of Arts and Science Council, University of Miami.
2021-ongoing	Disciplinary Hearing Faculty Panelist for the Dean of Students Office, University of Miami.
2020-2020	Member of the College of Arts and Science Curriculum Committee, University of Miami.
2018	Interviewer for Singer/Hammond Scholarships, University of Miami.
2017-ongoing	Member of the University Termination for Cause Committee University of Miami.
2017	Interviewer for Singer/Hammond Scholarships, University of Miami.
2014-2020	Chairman of the Department of Computer Science, University of Miami.
2014-2018	Board of Advisors for UMiami Scientifica Magazine, University of Miami.
2012-2019	Chairman of the College of Arts and Science Curriculum Committee, University of Miami.
2011-2017	Member of the University Curriculum Committee, University of Miami.
2011	Member of the Faculty Search Committee, Department of Computer Science, University of Miami.
2007	Member of the Science Leadership Committee, College of Arts and Sciences, University of Miami.
2006-2010	Member of the University Curriculum Committee, University of Miami.
2005-2012	Member of the College of Arts and Science Curriculum Committee, University of Miami.
2003-2008	Advisor to the University of Miami SCUBA Club, University of Miami.
2002-2010	Convener of Seminar Series, Department of Computer Science, University of Miami.
2001-2014	Director of Undergraduate Studies, Department of Computer Science, University of Miami.
2001-2003	Member of the Working Group on General Education/Distribution Requirements, University of Miami.
2000	Academic Advisor, School of Information Technology, James Cook University.
1999-2000	Faculty Executive, Faculty of Science and Engineering, James Cook University.
1998-1999	Head of Computer Science, School of Computer Science, Mathematics, and Physics, James Cook University.
1997-2000	Board of Studies, Faculty of Science and Engineering, James Cook University.
1997-1999	School Executive, School of Computer Science, Mathematics, and Physics, James Cook University.
1997-1999	Academic Advisor, School of Computer Science, Mathematics, and Physics, James Cook University.
1997	Teaching Committee, Department of Computer Science, James Cook University.
1995	Teaching Committee, Department of Computer Science, James Cook University.
1995	Administration Committee, Department of Computer Science, James Cook University.
1993-1995	Library Liason Officer, Department of Computer Science, James Cook University.
1993	Equal Opportunity planning, James Cook University.
1993	Board of Environmental Studies, James Cook University.

Community Service

2019	Judge, Congressional App Challenge.
2007	Final Presentation Examiner, McFatter Technical Center.
2006	Java Engagement for Teacher Training (JETT) Workshop II, University of Miami.
2006	Java Engagement for Teacher Training (JETT) Workshop I, University of Miami.

Awards

2023	Listed in the Stanford University list of " World's Top 2% Scientists".
2023	Best Paper Award Steen A., Sutcliffe G., Scholl T., Benzmüller C. (2023), Solving Modal Logic Problems by Translation to Higher-order Logic, Herzig A., Luo J., Pardo P., Proceedings of the 5th International Conference on Logic and Argumentation (Hangzhou, China), Lecture Notes in Computer Science 14156, 25-43.
2023	Thoralf Skolem Award (for CADE papers that have passed the test of time) Sutcliffe G., Suttner C., Yemenis T. (1994), The TPTP Problem Library, Bundy A., Proceedings of the 12th International Conference on Automated Deduction (Nancy, France), Lecture Notes in Artificial Intelligence 814, 252-266.

Contents

General

Personal

Education

Employment

Research

Research Interests

Invited Talks

Invited Publications

Journal Publications

Refereed Conference Publications

Refereed Workshop Publications

Other Publications

Grants

Professional

Editing

Edited Volumes

Evaluations

Program Committees

Conference Management

Society Memberships

Service and Consulting

Teaching

Teaching Interests

Teaching Experience

Students Supervised

Theses Examined

Service

University Service

Community Service

Awards