between humans and machines using text, speech and other modalities. Institute for Computing Systems Architecture: ICSA ICSA performs research on architecture and engineering of future computing systems: performance and scalability; innovative algorithms, architectures, compilers, languages and protocols. Institute of Perception, Action and Behaviour: IPAB IPAB 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. Laboratory for Foundations of Computer Science: LFCS The LFCS Develops and applies foundational understanding of computation and communication: formal models, mathematical theories, and software tools. Senior academic staff and alumni Current Senior academic staff include: Malcolm Atkinson Alan Bundy Peter Buneman Christopher Bishop Rod Burstall , emeritus Kousha Etessami Wenfei Fan Michael Fourman Igor Goryanin Dragan Gasevic Jane Hillston Aggelos Kiayias Elham Kashefi Frank Keller Mirella Lapata Leonid Libkin Ursula Martin Johanna Moore Michael O'Boyle Gordon Plotkin Don Sannella Mark Steedman Keith Stenning Amos Storkey Austin Tate Sethu Vijayakumar Philip Wadler Barbara Webb Bonnie Webber Former Donald Michie , founder of Artificial Intelligence in the UK Sidney Michaelson , foundation chair of the former computer science department. Jon Oberlander Notable alumni Alumni of the school of informatics include: Samson Abramsky , 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 , computer scientist and former director of Microsoft Research, Cambridge and Alan Turing Institute in London Bob Boyer , 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 , Professor at the Human–Computer Interaction Institute, Carnegie Mellon University Luca Cardelli , 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 , director at the Max Planck Institute for Biological Cybernetics in Tübingen, Germany Paul Dourish , Professor at the University of California, Irvine Carla Gomes , computer scientist, Founding Director of the Cornell University Institute for Computational Sustainability Leslie Ann Goldberg , computer scientist at the University of Oxford Jeremy Gibbons, Professor of computing, University of Oxford Andrew Gordon at Microsoft Research Michael J. C.