Geoff Sutcliffe

Geoff Sutcliffe is a Professor in the Department of Computer Science at the University of Miami's College of Arts and Sciences. He holds a PhD from the University of Western Australia (1992), MSc from the University of Natal (1986), and BSc (Hons) from the University of Natal (1983). His research focuses on Automated Theorem Proving (ATP), evaluation methodologies for reasoning systems, and distributed computational frameworks.

His primary research areas include developing infrastructure for ATP systems through the TPTP (Thousands of Problems for Theorem Provers) World project, organizing the CADE ATP System Competition (CASC), and creating standards for logic representation. His work bridges theoretical foundations with practical implementations in AI and computational logic.

Research publications demonstrate sustained focus on ATP system improvements, logical framework extensions, and historical analyses of automated reasoning. Recent works explore non-classical logics, semantic web integrations, and performance benchmarking techniques. Scholarship consistently emphasizes practical tool development alongside theoretical advances.