School of Informatics, University of Edinburgh

ANC[11] investigates theoretical and empirical study of brain processes and artificial learning systems, drawing on neuroscience, cognitive science, computer science, computational science, mathematics and statistics.

Previously known as CISA (Centre for Intelligent Systems and their Applications),[12] the Artificial Intelligence and its Applications Institute (AIAI)[13] works on the foundations of artificial intelligence and autonomous systems, and their application to real-world problems.

ILCC performs research on all aspects of natural language processing, drawing on machine learning, statistical modeling, and computational, psychological, and linguistic theories of communication among humans and between humans and machines using text, speech and other modalities.[14]

ICSA[15] performs research on architecture and engineering of future computing systems: performance and scalability; innovative algorithms, architectures, compilers, languages and protocols.

IPAB[16] links computational action, perception, representation, transformation and generation processes to real or virtual worlds: statistical machine learning, computer vision, mobile and humanoid robotics, motor control, graphics and visualization.

The LFCS[17] Develops and applies foundational understanding of computation and communication: formal models, mathematical theories, and software tools.

Senior academic staff[18] include:

• Malcolm Atkinson FRSE
• Alan Bundy CBE FRS FREng FACM FAAAI
• Peter Buneman MBE FRS FRSE FACM
• Christopher Bishop FRS FREng FRSE
• Rod Burstall FRSE, emeritus
• Kousha Etessami
• Wenfei Fan FRS FRSE MAE FACM
• Michael Fourman FRSE
• Igor Goryanin
• Sharon Goldwater
• Dragan Gasevic
• Jane Hillston FRS FRSE MAE
• Aggelos Kiayias FRSE
• Elham Kashefi
• Frank Keller
• Mirella Lapata FRSE MAE FACL
• Alex Lascarides FRSE
• Leonid Libkin FRSE MAE FACM
• Fiona McNeill FRSE FBCS
• Ursula Martin CBE FRSE FREng
• Johanna Moore FRSE
• Michael O'Boyle
• Gordon Plotkin FRS FRSE MAE FACM
• Don Sannella FRSE
• Mark Steedman FBA FRSE MAE FAAAI FACL
• Perdita Stevens
• Keith Stenning
• Amos Storkey
• Austin Tate FREng FRSE FAAAI
• Sethu Vijayakumar FRSE
• Philip Wadler FRS FRSE FACM
• Barbara Webb
• Bonnie Webber FRSE FAAAI

• Donald Michie FRSE, founder of Artificial Intelligence in the UK
• Sidney Michaelson FRSE, foundation chair of the former computer science department.
• Jon Oberlander FRSE

Alumni of the school of informatics include:

• Samson Abramsky FRS MAE FACM, computer scientist at the University of Oxford
• Pat Ambler, creator of Freddy II
• Joe Armstrong, creator of Erlang programming language and Open Telecom Platform (OTP)
• Andrew Blake FRS FREng, computer scientist and former director of Microsoft Research, Cambridge and Alan Turing Institute in London
• Bob Boyer FAAAI, computer scientist, mathematician, philosopher at the University of Texas at Austin
• Alan W. Black, professor at the Language Technologies Institute, Carnegie Mellon University
• Justine Cassell FACM, professor at the Human–Computer Interaction Institute, Carnegie Mellon University
• Luca Cardelli FRS FRSE FACM, computer scientist, Assistant Director of Microsoft Research, Cambridge
• Ian Clarke, creator of Freenet
• Rosemary Candlin, crystallographer and computer scientist at CERN
• Margarita Chli, leader of the Vision for Robotics Lab at ETH Zürich
• John Darlington, emeritus professor, Imperial College London
• Bruce Davie, CTO of VMware
• Peter Dayan FRS, director at the Max Planck Institute for Biological Cybernetics in Tübingen, Germany
• Paul Dourish FACM, professor at the University of California, Irvine
• Grigori Fursin, vice president of MLOps, president of the CTuning foundation
• Carla Gomes FACM FAAAI, computer scientist, founding director of the Cornell University Institute for Computational Sustainability
• Leslie Ann Goldberg MAE, computer scientist at the University of Oxford
• Jeremy Gibbons, professor of computing, University of Oxford
• Andrew Gordon at Microsoft Research
• Michael J. C. Gordon FRS (1948–2017), computer scientist at the University of Cambridge
• Doug Gurr, global vice-president and head of Amazon UK
• Alex Graves, computer scientist at Google DeepMind
• Philippa Gardner FREng, professor of theoretical computer science at Imperial College London
• Richard Gregory FRS FRSE (1923–2010), cognitive scientist at the University of Bristol
• Pat Hayes FAAAI, senior research scientist at the Institute for Human and Machine Cognition in Pensacola, Florida
• Robert Harper (computer scientist) FACM, professor of computer science at Carnegie Mellon University
• Matthew Hennessy MAE, co-creator of Hennessy–Milner logic
• Geoffrey Hinton FRS FAAAI, computer scientist at Google Brain and winner of the Turing Award.[19]
• Xuedong Huang FACM, CTO of Microsoft Azure AI
• Auke Ijspeert, head of the biorobotics laboratory at EPFL
• Mark H. Johnson FBA, 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 FACM FAAAI, 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) FRS FRSE FRSA, cognitive scientist
• Robin Milner FRS FRSE FACM (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 FRSE FACM FAAAI, computer scientist at the University of Texas at Austin
• Stephen Muggleton FREng FAAAI, Head of the Computational Bioinformatics Laboratory at Imperial College London
• Alan Mycroft, professor at the Computer Laboratory, University of Cambridge
• Timothy O'Shea FRSE, emeritus professor and former principal and vice-chancellor of the University of Edinburgh
• Robin Popplestone FAAAI (1938–2004), creator of COWSEL and POP-2
• Martha Palmer FACL, 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) FACM, inventor of System F and professor of computer science at Carnegie Mellon University
• Davide Sangiorgi MAE, professor at the University of Bologna
• Sue Sentance, director of the Raspberry Pi Foundation Computing Education Research Centre, University of Cambridge
• Nigel Shadbolt[20] FRS FREng, 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 FAAAI, philosopher, cognitive scientist at the University of Birmingham
• Chris Tofts, scientist at Hewlett-Packard
• Stephen Tweedie, creator of ext3
• Mads Tofte, professor at the IT University of Copenhagen
• Michael Uschold, research scientist at Boeing Phantom Works
• Leslie Valiant FRS FAAAI, winner of the Turing Award in 2010 and professor at Harvard University
• Lincoln Wallen, CTO of Improbable, former CTO of DreamWorks Animation
• Toby Walsh FACM FAAAI, professor of artificial intelligence at the UNSW
• Hanna Wallach at Microsoft Research
• David H. D. Warren, creator of the Warren Abstract Machine
• Andrew Zisserman FRS, computer scientist at Google DeepMind and University of Oxford