Geoffa Sutcliffe'a

Geoff Sutcliffe
Geoff Sutcliffe
Urodzić się	( 28.10.1961 ) 28 października 1961 Ndola , Zambia
Narodowość	australijski , brytyjski
Alma Mater	Uniwersytet w Natalu Uniwersytet Zachodniej Australii
Znany z	TPTP , CASC
Kariera naukowa
Pola	Automatyczne dowodzenie twierdzeń (ATP) Ocena systemów ATP Rozproszone i równoległe systemy ATP
Instytucje	Uniwersytet w Natalu Uniwersytet Durban-Westville Uniwersytet Edith Cowan Uniwersytet Jamesa Cooka Uniwersytet Miami

Geoff Sutcliffe jest amerykańskim informatykiem zajmującym się zautomatyzowanym rozumowaniem . Urodził się w byłej kolonii brytyjskiej Rodezji Północnej (obecnie Zambia ), dorastał w Afryce Południowej , a doktorat uzyskał w Australii . Sutcliffe obecnie pracuje na Uniwersytecie w Miami i jest obywatelem Wielkiej Brytanii i Australii .

Geoff Sutcliffe jest twórcą biblioteki problemów Tysiące problemów dla dowodzenia twierdzeń (TPTP) oraz języka TPTP do formalnej specyfikacji problemów i rozwiązań automatycznego dowodzenia twierdzeń . Od 1996 roku organizuje doroczne zawody CADE ATP System Competition (CASC), związane z Conference on Automated Deduction oraz International Joint Conference on Automated Reasoning . Był współorganizatorem kilku zautomatyzowanych rozumowań wyzwania, w tym Modal Logic 100 $ Challenge, MPTP 100 $ Challenges i SUMO 100 $ Challenges. Wraz ze Stephanem Schulzem Sutcliffe założył i jest organizatorem serii ES* Workshop, miejsca prezentacji i publikowania zorientowanych praktycznie badań nad automatycznym rozumowaniem.

Linki zewnętrzne

• Geoffa Sutcliffe'a
• TPTP
• Oprogramowanie przegubowe
• na YouTubie