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 (actualmente Zambia ), creció en Sudáfrica y obtuvo su doctorado en Australia . Sutcliffe trabaja actualmente en la Universidad de Miami y tiene nacionalidad británica y 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 ha estado organizando la Competencia anual del sistema CADE ATP (CASC), asociada con la Conferencia sobre deducción automatizada y la Conferencia conjunta internacional sobre razonamiento automatizado . Ha sido coorganizador de varios desafíos de razonamiento automatizado , incluido el Desafío de $100 de lógica modal, [2] los Desafíos de $100 de MPTP, [3] y los Desafíos de $100 de SUMO. [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 de razonamiento automatizado orientadas a la práctica.