Geoff Sutcliffe

Professor of Computer Science, University of Miami

Geoff Sutcliffe is a Professor in the Department of Computer Science at the University of Miami. He received a BSc(Hons) and MSc from the University of Natal, and a PhD in Computer Science from the University of Western Australia. His research is in the area of Automated Reasoning, particularly in the evaluation and effective use of automated reasoning systems. His most prominent achievements are: the first ever development of a heterogeneous parallel automated reasoning system (SSCPA); the development and ongoing maintenance of the TPTP World - the de facto standard framework for developing, testing, and applying automated reasoning systems for classical logic; and the development and ongoing organization of the CADE ATP System Competition - the world championship for classical logic automated reasoning systems. He is one of the leaders of the StarExec project that provides computing infrastructure to logic-solving communities, to facilitate the experimental evaluation of logic solvers. The research has been supported by grants from the National Science Foundation, the German Ministry for Research, the Australian Research Council, the European Union, and internal university grants from Edith Cowan University, James Cook University, and the University of Miami. The research has produced over 150 refereed journal, conference, and workshop papers. He is an editor of Acta Informatica, the Logic Journal of the IGPL, and the Formalised Mathematics Journal. He has been guest editor of several special journal issues on topics in automated reasoning. He has contributed to the automated reasoning and artificial intelligence communities as a conference or program chair of (several instances of) the International Conference on Automated Deduction (CADE), the International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), and the International Florida Artificial Intelligence Research Society (FLAIRS). He regularly serves as a program committee member and reviewer for automated reasoning and artificial intelligence journals and conferences. He served three terms as a CADE trustee, is on the LPAR steering committee, and is currently the president of FLAIRS. As a faculty member at the University of Miami he served on the University Curriculum Committee 2011-2017, was chair of the College of Arts and Sciences Curriculum Committee 2012-2019, was chair of the Department of Computer Science 2014-2020, and currently serves as chairman of the Council of the College of Arts and Sciences.