Geoff Sutcliffe - Geoff Sutcliffe - Wikipedia

Tento životopis živé osoby příliš spoléhá na Reference na primární zdroje. Pomozte prosím přidáním sekundární nebo terciární zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. (Listopadu 2008) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Geoff Sutcliffe
Geoff Sutcliffe
Národnost	Australan, Brit
Známý jako	TPTP, CASC
Vědecká kariéra
Pole	Počítačová technologie
Instituce	University of Miami

Geoff Sutcliffe má sídlo v USA počítačový vědec pracující v oboru automatické uvažování Je z obou britský a Australan se narodil v bývalé britské kolonii v Severní Rhodesie (Nyní Zambie ), vyrostl v Jižní Afrika a získal titul Ph.D. v Austrálie. Pracuje v University of Miami Je vývojářem Tisíce problémů pro poskytovatele vět (TPTP) problémová knihovna a Jazyk TPTP pro formální specifikaci Automatizované dokazování věty problémy a řešení. Od roku 1996 organizuje výroční ročník Soutěž systému CADE ATP (CASC) spojené s Konference o automatizovaném odpočtu a Mezinárodní společná konference o automatizovaném uvažování. Několik spoluorganizoval Automatické uvažování výzvy, včetně Výzva 100 $ za modální logiku, Výzvy MPTP 100 $, a Výzvy SUMO 100 $^{[trvalý mrtvý odkaz ]}. Dohromady s Stephan Schulz, Sutcliffe založil a pořádá sérii ES * Workshop,^[1] místo pro prezentaci a publikování prakticky orientovaného výzkumu Automatizovaného uvažování.

Reference

^ „Empiricky úspěšná témata v sérii workshopů o automatizovaném odečtu“. Archivovány od originál dne 06.02.2010. Citováno 2009-12-10.

externí odkazy