Geoff Sutcliffe es un informático radicado en Estados Unidos que trabaja en el campo del razonamiento automatizado . Nació en la antigua colonia británica de Rodesia del Norte (ahora Zambia ), creció en Sudáfrica y obtuvo su doctorado en Australia . Sutcliffe trabaja actualmente en la Universidad de Miami , y es de nacionalidad tanto británica como australiana . [1]
Geoff Sutcliffe es el desarrollador de la biblioteca de problemas Miles de problemas para demostradores de teoremas (TPTP) y del lenguaje TPTP para la especificación formal de problemas y soluciones de demostración automatizada de teoremas . Desde 1996 organiza el Concurso anual del Sistema ATP del CADE (CASC), asociado a la Conferencia sobre Deducción Automatizada y la Conferencia Internacional Conjunta sobre Razonamiento Automatizado . Ha sido coorganizador de varios desafíos de razonamiento automatizado , incluido el desafío Modal Logic $100, [2] los desafíos MPTP $100, [3] y los desafíos SUMO $100. [4] : 139 Junto con Stephan Schulz , Sutcliffe fundó y ha estado organizando la serie de talleres ES*, [5] un lugar para la presentación y publicación de investigaciones sobre razonamiento automatizado con orientación práctica.