English Geoff Sutcliffe Cited by user Lightning revenant on 07 Sep 2021 Geoff Sutcliffe is a US-based computer scientist working in the field of automated reasoning.