Wolfson Court / Newton Institute / Christ’s College / Murray Edwards College / St. John’s College / University of Cambridge / Corpus Christi College / Emmanuel College / Fitzwilliam College / Chicheley Hall / King’s College / Bristol University / College Publications / Churchill College / /
IndustryTerm
cafeteria food / expressive propositional proof systems / car locks / energy supply market / preprint server / food / certain semi-algebraic proof systems / electronic control systems / car security / satellite workshop / cryptographic protocols / proof systems / /
Organization
Churchill College / Cambridge University / Philosophy Department / John Templeton Foundation / Corpus Christi College / Computing Lab / Wolfson Court / Christ’s College / Murray Edwards College / University of Cambridge / Emmanuel College / Bristol University / King’s College / Fitzwilliam College / St. John’s College / Newton Institute / /
Person
Rodney Downey / Mike Fellows / Philip Maini / Arnold Beckmann (Swansea) / Luciano Floridi / Wolfgang Merkle / Kenny Paterson / Theodore Slaman / Yuri Matiyasevich / Julia Knight / Aaron Sloman / Rod Downey / Anuj Dawar / Barry Cooper / Mike Lynch / Hugh Woodin / Alan Turing / Alan Mathison Turing / Christof Teuscher / Shafi Goldwasser / Joel David Hamkins / Nigel P. Smart / George Barmpalias / Steven Lindell / Elvira Mayordomo (Zaragoza) / Samson Abramsky / Martin Davis / S. Barry Cooper (Leeds) / Mariya Soskova / /
Position
editor / Professor and Professor / Biology researcher / scientist / CEO / Professor / randomness researcher / tutorial speaker / great lightning conductor / mathematical biologist / /
Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza)