Geoff Sutcliffe

Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning.

He was born in the former British colony of Northern Rhodesia (now Zambia), grew up in South Africa, and earned his PhD in Australia.

Sutcliffe currently works at the University of Miami, and is of both British and Australian nationality.

Since 1996 he has been organizing the annual CADE ATP System Competition (CASC), associated with the Conference on Automated Deduction and International Joint Conference on Automated Reasoning.

[4]: 139  Together with Stephan Schulz, Sutcliffe founded and has been organizing the ES* Workshop series,[5] a venue for presentation and publishing of practically oriented Automated Reasoning research.