Geoff Sutcliffe

Geoff Sutcliffe es un científico informático estadounidense 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 . Actualmente trabaja en la Universidad de Miami y posee doble nacionalidad británica y australiana . ^{[ 1 ]}

Geoff Sutcliffe es el desarrollador de la biblioteca de problemas Thousands of Problems for Theorem Provers (TPTP) y del lenguaje TPTP para la especificación formal de problemas y soluciones de demostración automática de teoremas . Desde 1996 ha organizado la competición anual CADE ATP System Competition (CASC), asociada a la Conference on Automated Deduction y la International Joint Conference on Automated Reasoning . Ha sido coorganizador de varios desafíos de razonamiento automático , incluyendo el Modal Logic $100 Challenge, ^{[ 2 ]} los MPTP $100 Challenges, ^{[ 3 ]} y los SUMO $100 Challenges. ^{[ 4 ]}^{: 139} Junto con Stephan Schulz , Sutcliffe fundó y ha organizado la serie de talleres ES*, ^{[ 5 ]} un espacio para la presentación y publicación de investigaciones de razonamiento automático orientadas a la práctica.

En 2025, Sutcliffe fue a la Universidad Federal de Goiás y dio una conferencia de dos días sobre TPTP. ^{[ 6 ]}

Referencias

↑ "Curriculum Vitae, Geoff Sutcliffe" . Departamento de Ciencias de la Computación, Universidad de Miami . 2021. Consultado el 10 de febrero de 2021 .
↑ Sutcliffe, Geoff (2007). "El desafío de lógica modal de 100 dólares" . La biblioteca de problemas TPTP para la demostración automatizada de teoremas . Archivado del original el 4 de marzo de 2007. Recuperado el 2 de abril de 2021 .
↑ Urban, Josef; Sutcliffe, Geoff (16 de julio de 2007). "Los desafíos de $100 del MPTP" . La biblioteca de problemas TPTP para la demostración automatizada de teoremas . Recuperado el 2 de abril de 2021 .
↑ Adam, Pease; Geoff, Sutcliffe ; Nick, Siegel; Steven, Trac ( 2010). "Razonamiento de teorías grandes con SUMO en CASC". AI Communications . 2–3 ( 2–3 ): 137–144 . doi : 10.3233/AIC-2010-0466 .
↑ "Serie de talleres sobre temas empíricamente exitosos en deducción automatizada" . Archivado del original el 6 de febrero de 2010. Consultado el 10 de diciembre de 2009 .
↑ "TPTP World Tour" . Miles de problemas para demostradores de teoremas . 2025. Consultado el 1 de marzo de 2025 .