"Gifford lectures"@cs .