Gordon (1948–2017), computer scientist at the University of Cambridge Doug Gurr, global vice-president and head of Amazon UK Philippa Gardner , Professor of Theoretical Computer Science at Imperial College London Richard Gregory (1923–2010), cognitive scientist at the University of Bristol Pat Hayes , Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida Robert Harper (computer scientist) , Professor of computer science at Carnegie Mellon University Matthew Hennessy , Co-creator of Hennessy–Milner logic Geoffrey Hinton , computer scientist at Google Brain and winner of the Turing Award. Xuedong Huang , CTO of Microsoft Azure AI Auke Ijspeert, Head of the Biorobotics Laboratory at EPFL Mark H. Johnson , cognitive neuroscientist and Brain–computer interface researcher, Head of the Department of Psychology at the University of Cambridge Mark Jerrum, Professor of Pure mathematics at the University of London, Gödel Prize Laureate Philipp Koehn, Professor of Machine Translation at Johns Hopkins University Robert Kowalski , logician whose interpretation of the Horn clause at Edinburgh became instrumental in the creation of Prolog Lǐ Wèi, mathematician and computer scientist, President of Beihang University Christopher Longuet-Higgins (1923–2004) , cognitive scientist Robin Milner (1934–2010), computer scientist, winner of the Turing Award Eugenio Moggi, first to explicitly link the Monad of category theory to functional programming J Strother Moore , computer scientist at the University of Texas at Austin Stephen Muggleton , Head of the Computational Bioinformatics Laboratory at Imperial College London Alan Mycroft, Professor at the Computer Laboratory, University of Cambridge Timothy O'Shea , Emeritus Professor and former principal and vice-chancellor of the University of Edinburgh Robin Popplestone (1938–2004), creator of COWSEL and POP-2 Martha Palmer , creator of PropBank and VerbNet Benjamin C. Pierce, Henry Salvatori Professor of computer science at the University of Pennsylvania Lars Rasmussen (Software Developer), Co-Founder of Google Maps, Former Director of Engineering (CTO) of Facebook London. John C. Reynolds (1935–2013) , inventor of System F and professor of computer science at Carnegie Mellon University Davide Sangiorgi , Professor at the University of Bologna Nigel Shadbolt , Chairman of the Open Data Institute (ODI) and master of Jesus College, Oxford Alistair Sinclair, Professor at University of California, Berkeley, Gödel Prize Laureate Aaron Sloman , philosopher, cognitive scientist at the University of Birmingham Chris Tofts, scientist at Hewlett-Packard Mads Tofte, professor at the IT University of Copenhagen Leslie Valiant , winner of the Turing Award in 2010 and Professor