About
Geoff Sutcliffe is a Professor in the Department of Computer Science within the College of Arts and Sciences at the University of Miami. His research focuses on automated reasoning systems, theorem proving, and logic languages, with significant contributions to the Thousands of Problems for Theorem Provers (TPTP) infrastructure. He serves as an active researcher in formal methods and artificial intelligence, with recent work integrating cloud computing infrastructure for theorem proving systems.
Sutcliffe's research interests center on automated reasoning, where he has developed foundational infrastructure for theorem proving competitions and benchmarking. His work spans classical first-order logic through higher-order logic and non-classical logics, with particular emphasis on translation methods between logical systems. He investigates how automated theorem provers can solve complex logical problems, including quantified modal logic and higher-order logical inference. His research also explores the integration of machine learning techniques, particularly reinforcement learning, to enhance theorem proving systems' performance and efficiency.
Sutcliffe has received notable recognition including the 2023 Amazon Research Award for his work on Automated Theorem Proving Community Infrastructure in the AWS Cloud. This award highlights his contributions to building scalable infrastructure for the automated reasoning community using cloud technologies.
His publication record shows consistent contributions to the field of automated theorem proving, with recent work focusing on system competitions (CASC), logic language frameworks, and the empirical assessment of progress in automated reasoning. Sutcliffe has been instrumental in organizing and evaluating automated theorem proving systems through annual competitions that serve as the de facto world championship for ATP systems.
