Джефф Сатклифф — американский учёный-компьютерщик, работающий в области автоматизированного мышления . Он родился в бывшей британской колонии Северная Родезия (ныне Замбия ), вырос в Южной Африке и получил докторскую степень в Австралии . В настоящее время Сатклифф работает в Университете Майами и имеет как британское , так и австралийское гражданство. [1]
Джефф Сатклифф — разработчик библиотеки задач Thousands of Problems for Theorem Provers (TPTP) и языка TPTP для формальной спецификации задач и решений автоматизированного доказательства теорем . С 1996 года он организует ежегодный конкурс CADE ATP System Competition (CASC), связанный с Конференцией по автоматизированному выводу и Международной совместной конференцией по автоматизированному рассуждению . Он был соорганизатором нескольких задач по автоматизированному рассуждению , включая Modal Logic $100 Challenge, [2] MPTP $100 Challenges, [3] и SUMO $100 Challenges. [4] : 139 Вместе со Стефаном Шульцем Сатклифф основал и организовал серию семинаров ES* Workshop, [5] место для представления и публикации практически ориентированных исследований в области автоматизированного рассуждения.