School of Informatics

Research Directory

A listing of researchers by institute and their main areas of interest.

Centre for Intelligent Systems and their Applications

CISA undertakes basic and applied research and development in knowledge representation and reasoning. Through its Artificial Intelligence Applications Institute (AIAI) it works with others to deploy the technologies associated with this research.

Institute Web Site

  • Paul Anderson - Configuration and management of large computing infrastructures. Semantics and usability of configuration languages. Autonomics and intelligent approaches to configuration deployment. Systems administration.
  • D K Arvind - Integration of Asynchronous Concurrent Systems, Parallel and Distributed Computation.
  • Malcolm Atkinson
  • Vaishak Belle - machine learning, knowledge representation, artificial intelligence, scalable probabilistic inference and learning, probabilistic programming, statistical relational learning, automated planning, reasoning about knowledge and uncertainty, cognitive robotics
  • Alan Bundy - Understanding the processes of mathematical reasoning and discovery, including the processes of: forming and evolving formal representations; planning proofs; learning proof methods; and the use of analogy. In particular, the automated detection and repair of faulty representations.
  • Jacques Fleuriot - Interactive theorem proving and its application to mathematics and formal verification. In particular: the investigation of mathematical reasoning -- both historical and contemporary -- using proof assistants and the application of formal modelling and methods to healthcare and other complex multi-agents systems.
  • Michael Fourman - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
  • Igor Goryanin - Systems biology and systems medicine including human biochemical network reconstruction, modelling of complex biological systems, microbial fuel cells and other biotechnology and bioinformatics applications
  • Ewan Klein - Computational approaches to natural language semantics, syntax, prosody and phonology; spoken language processing; communicating with mobile robots and embodied devices; the Semantic Web and ontologies.
  • Dave Robertson - Design and deployment of multi-agent systems; large-scale, automated design and transformation of knowledge bases and problem solvers; agent-oriented software engineering.
  • Michael Rovatsos - Intelligent agents and multiagent systems, human-friendly and responsible AI, social computation, automated planning, knowledge-based systems, game-theoretic AI.
  • Alan Smaill - Constructive logics and non-realist semantics; reflection principles and their application within automated reasoning systems; theorem proving in relation to programming.
  • Austin Tate - Research, development and use of planning and activity management systems.

Institute for Adaptive and Neural Computation

The Institute studies brain processes and artificial learning systems, theoretically and empirically, drawing on the disciplines of neuroscience, cognitive science, computer science, computational science, mathematics and statistics.

Institute Web Site

  • Douglas Armstrong - Bioinformatics, Neuroinformatics, Behaviour Genetics and Astrobiology and Gravitational Biology
  • Chris Bishop - Neural networks, probabilistic graphical models.
  • Dragan Gasevic - Learning analytics; learning technologies; self-regulated and social learning; learning design; higher education policy; computational social science; language technologies.
  • Nigel Goddard - Parallel computation, medical image interpretation.
  • Michael Gutmann - Approximate inference, unsupervised deep learning, computational biology
  • Matthias Hennig
  • Iain Murray - Hierarchical probabilistic models, Bayesian inference, Machine Learning
  • Guido Sanguinetti
  • Peggy Series - Computational neuroscience, Bayesian models for perception and decision-making, neural coding, computational psychiatry.
  • Richard Shillcock - Psycholinguistics, cognitive neuropsychology and cognitive modelling.
  • Ian Simpson - Neuroregulatory genomics, Computational Biology, Statistics and Machine-learning. Molecular control of neural development and function especially in cortical structures and in relation to cognition, learning and memory. Evolution and conservation of molecular regulatory processes. Analysis of high-throughput data-sets (genomic, meta-genomic, transcriptomic and proteomic).
  • Mark Steedman - Computational linguistics, artificial intelligence, formal grammar, spoken intonation, statistical parsing, spoken language processing, animated conversational agents, computational musical analysis.
  • Amos Storkey - Deep learning, machine learning, machine learning markets, Bayesian inference, probabilistic graphical models, stochastic systems and sampling, Gaussian process models, probabilistic image models, image processing/computer vision techniques, medical imaging.
  • Charles Sutton - Statistical machine learning, graphical models, probabilistic inference. Applications in natural language processing, processing of programming languages, and probabilistic models of computer system performance
  • Mark Van Rossum - Computational neuroscience. Theory and simulation of learning and memory in biological systems, coding of sensory information, effects of noise
  • Chris Williams - Theoretical and practical issues in neural networks, statistical pattern recognition, probabilistic graphical models and computer vision. Prediction with Gaussian processes, image interpretation.

Institute for Computing Systems Architecture

The ICSA is primarily concerned with the architecture and engineering of future computing systems. Its fundamental research aims are: to extend the understanding of the performance and scalability of existing computational systems; to improve the characteristics of current systems through innovations in algorithms, architectures, compilers, languages and protocols; to develop new and novel architectures and to develop new engineering methods by which future systems can be created and maintained.

Institute Web Site

  • Pramod Bhatotia - Systems, Distributed Systems, Operating Systems
  • Murray Cole - Parallel algorithms, skeletal parallel programming.
  • Christophe Dubach
  • Bjoern Franke - Advanced automatic parallelisation, extraction of coarse-grained parallelism, dynamic methods, mapping to heterogeneous multi-core platforms. Fast instruction set simulation, just-in-time dynamic binary translation. Statistical performance prediction. Code generation for embedded processors.
  • Boris Grot - Computer architecture, memory systems and interconnection networks. Architectural support for large-scale data processing. Systems with quality-of-service guarantees.
  • Hugh Leather
  • Myungjin Lee - Computer networks, network measurement and monitoring, data centres, cloud computing
  • Mahesh Marina - Wireless and mobile networking,performance evaluation, distributed systems and algorithms.
  • Vijay Nagarajan - General research interests: Software/hardware collaborative techniques for enhancing performance, programmability, reliability and security of parallel architectures. Current research topics: Memory consistency, cache coherence and synchronization for scalable parallel architectures.
  • Michael O'Boyle - Auto-parallelisation, machine learning based compilation, optimising for heterogeneous multi-cores, GPU optimisation, design space exploration, robotics/vision/deep learning application drivers
  • Paul Patras - performance optimisation in wireless networks, network protocols and architectures, mobile traffic analysis, security and privacy, prototyping and test beds
  • Aaron Smith
  • Nigel Topham - Design and analysis of high-performance computing systems, architecture simulation tools.
  • Stratis Viglas - Data management and database systems, code generation, parallel and distributed processing, storage systems.

Institute for Language, Cognition and Computation

The Institute is dedicated to the computational study of language, communication, and cognition, in both humans and machines. Research areas include automatic speech and language processing, dialogue systems, models of human communication and language processing, information retrieval and presentation, and assistive technology.

Institute Web Site

  • Benjamin Bach - Information Visualization, Augmented Reality, Human-Computer Interaction, Networks
  • Julian Bradfield - Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages.
  • Shay Cohen
  • Michael Fourman - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
  • Dragan Gasevic - Learning analytics; learning technologies; self-regulated and social learning; learning design; higher education policy; computational social science; language technologies.
  • Dorota Glowacka
  • Sharon Goldwater - Unsupervised learning of language (human language acquisition and machine learning), Bayesian models, cognitive modeling, morphological and phonological processing.
  • Kenneth Heafield
  • Robin Hill
  • Frank Keller - Cognitive modeling, language processing, language and vision, parsing, unsupervised learning, eye-tracking
  • Simon King - new acoustic models such as Linear Dynamical Systems for speech recognition and automatically finding suitable units to model with them; integrating speech recognition with other tasks like information extraction or dialogue move detection; the use of articulatory information for both recognition and synthesis, including applications such as join cost calculation and join smoothing for unit selection synthesis;extending my earlier work on the use of phonological/accoustic/articulatory features for ASR; applying methodsdeveloped for speech processing to the singing voice.
  • Ewan Klein - Computational approaches to natural language semantics, syntax, prosody and phonology; spoken language processing; communicating with mobile robots and embodied devices; the Semantic Web and ontologies.
  • Philipp Koehn - Statistical machine translation, machine learning methods to natural language texts, large-scale text processing.
  • Mirella Lapata
  • Alex Lascarides - Computational semantics, particularly discourse, conversation and gestures; learning strategies in complex games; learning to adapt to unforeseen possibilities.
  • John Lee - Rich media in learning, graphics in reasoning and learning, computing and cognition in design, multimodal dialogue, informal data.
  • Adam Lopez - Multilingual natural language processing and computational linguistics, machine learning, formal language theory
  • Christopher Lucas
  • Walid Magdy - Information retrieval, Social computing, Social media, Data mining, and Arabic NLP
  • Johanna Moore - Computational linguistics (natural language generation, dialogue, and discourse), intelligent systems for education, personalised information presentation, multi-modal interaction, user modeling, knowledge representation.
  • Jon Oberlander - Automatic discourse generation diagrammatic reasoning and communication individual differences in interaction
  • Helen Pain - Supporting learning and communication in children with special needs, through adaptive multi-media technology and game like environments; supporting social communication and affect in interactions with virtual agents; participatory and user-centred design. The central elements of my approach are that it is both tool-based and empirically informed, theoretically motivated and involves stakeholders in the design and evaluation process. A major goal of this work is to develop interactive learning environments and communication tools that engage and support learners in play and exploration.
  • Paul Schweizer - Philosophical logic, the computational paradigm and conceptual foundations of cognitive science and AI, philosophy of mind and language
  • Hiroshi Shimodaira - Trainable lifelike conversational agents, Acoustic models for automatic speech recognition, Handwriting recognition.
  • Mark Steedman - Computational linguistics, artificial intelligence, formal grammar, spoken intonation, statistical parsing, spoken language processing, animated conversational agents, computational musical analysis.
  • Charles Sutton - Statistical machine learning, graphical models, probabilistic inference. Applications in natural language processing, processing of programming languages, and probabilistic models of computer system performance
  • Henry Thompson - Markup languages (XML, SGML) and architectures (Standoff markup, Schema languages, pipelines); Web Architecture; Philosophy of the Web.
  • Ivan Titov
  • Kami Vaniea - Human factors of security and privacy technologies. My research focuses on how to empower users to easily make good security decisions by both improving how the security and privacy technologies interact with users.
  • Maria Wolters - usable eHealth, Human Computer Interaction, health informatics, missing data. My goal is to support people with long-term conditions to live full and rich lives.

Institute of Perception, Action and Behaviour

Linking 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.

Institute Web Site

  • Vittorio Ferrari
  • Bob Fisher - Automatic acquisition of 3D models of: architecture, industrial parts, and people, using 3D data. Range data acquisition, fusion, and interpretation. Analysis of 3D video. Use of 3D data in robot control. Visual attention and search. Visual detection, tracking and behavior analysis of animals and other biological objects.
  • Dorota Glowacka
  • Michael Herrmann - Autonomous Robots, Robot Swarms, Biorobotics, Prosthetics, Computational Neuroscience, Self-Organised Criticality, Neural Avalanches, Neural Fields, Self-Organising Maps, Metaheuristic Optimisation, Cognitive Psychology, Biomedical Data Processing
  • Timothy Hospedales - Computer vision. Deep learning. Lifelong machine learning. Transfer and multi-task learning. Learning to Learn. Domain adaptation. Language and vision. Reinforcement Learning for control. Active Learning. Weakly supervised learning.
  • Taku Komura - Computer Animation, Computer Graphics, Character Control, Physically-based Animation, Human Modeling
  • Zhibin Li - Robotics, Dynamic Motion Control, Machine Learning for Complex Robot Behaviours, Robust Control & Automation
  • Michael Mistry
  • Ram Ramamoorthy
  • Kartic Subr - Analysis and applications of stochastic sampling, digital image synthesis (rendering), image manipulation, acoustic 3D reconstruction, acoustic localisation, simulation-based inference
  • Sethu Vijayakumar - Statistical Machine Learning, Robotics, Motor Control, Multimodal Sensory-Motor Integration and Computational Neuroscience.
  • Barbara Webb - Perceptual systems for the control of behaviour, Robot models of animals. Simulation of neural circuits.

Laboratory for Foundations of Computer Science

Achieving a foundational understanding of problems and issues arising in computation and communication through the development of appropriate and applicable formal models and mathematical theories.

Institute Web Site

  • Stuart Anderson - Design and analysis of dependable systems, formal proof in systems development.
  • Myrto Arapinis
  • David Aspinall - Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments.
  • Julian Bradfield - Modal and temporal logics, model-checking, concurrency, independence logics, descriptive complexity and set theory, UML and modelling languages.
  • James Cheney - Programming languages, logic, scientific databases, provenance, security, verification.
  • Mary Cryan - Randomized algorithms, especially algorithms for sampling and counting; learning theory; algorithms for computational biology.
  • Vincent Danos - Foundational approaches to quantitative biology; syntaxes for representing, modelling, and understanding large protein networks; concurrent and stochastic systems.
  • Ilias Diakonikolas - Algorithms, Complexity, Learning, Game Theory.
  • Kousha Etessami - In general, theoretical computer science. More specifically: automated verification, logic, algorithms and computational complexity theory, algorithmic game theory, equilibrium computation, analysis of probabilistic systems, Markov decision processes, stochastic games, automata theory, model checking, analysis of infinite-state systems, finite model theory and descriptive complexity.
  • Wenfei Fan - Database theory and systems: data integration, data quality, query languages, database security, XML, distributed query processing, integrity constraints, and applications; Web services: models, verification, composition and aggregation; logic and computation.
  • Michael Fourman - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
  • Stephen Gilmore - Formal methods of program development, formal specifications, software engineering, concurrent systems.
  • Andrew Gordon - Computer security; programming languages and their semantics and logics; probabilistic programming for machine learning
  • Paolo Guagliardo
  • Chris Heunen - Semantics of quantum theory and programming languages; category theory; quantum logic; functional analysis.
  • Jane Hillston - Quantitative analysis and verification supported by formal methods: stochastic process algebras, stochastic logic, Markov processes, continuous approximations, performance modelling, systems biology, collective adaptive systems.
  • Paul Jackson - Formal verification of hardware, software and cyber-physical systems. Formalised mathematics. Automation of formal reasoning.
  • Kyriakos Kalorkoti - Computational complexity, computer algebra, decision problems in group theory.
  • Elham Kashefi - Models of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device.
  • Aggelos Kiayias
  • Leonid Libkin - Databases and Applications of logic in computer science.
  • John Longley - Higher type computability, semantics of programming languages, program verification.
  • Richard Mayr - Automated verification, automata theory, temporal logic, model-checking and semantic equivalence checking, formal verification of real-time and probabilistic systems, infinite-state Markov chains, Markov decision processes and stochastic games.
  • Andreas Pieris
  • Ajitha Rajan - My research is in the field of software engineering and strives to address challenges in software validation and verification. I am especially interested in - Defining quality metrics for cloud applications and GPU programs. I am interested in coverage metrics for code, design, and requirements (functional, non-functional, security). - Automated test case generation, reduction and execution. - Optimising energy consumed by software. We investigated the energy consumed by software design patterns and proposed compiler optimisations for a couple fo the patterns in recent work. - Economic models for incremental software and software on the cloud. - Compiler optimisations for software test executions .
  • Don Sannella - Algebraic specification and formal software development; correctness of modular systems; types and functional programming; resource certification for mobile code.
  • Rik Sarkar - Data mining, algorithms, network science, location data and privacy, sensor networks and IoT.
  • Alan Smaill - Constructive logics and non-realist semantics; reflection principles and their application within automated reasoning systems; theorem proving in relation to programming.
  • Ian Stark - Mathematical models and machine-assisted proof for reasoning about programming languages, processor architectures, and biochemical systems.
  • Mark Steedman - Computational linguistics, artificial intelligence, formal grammar, spoken intonation, statistical parsing, spoken language processing, animated conversational agents, computational musical analysis.
  • Perdita Stevens - Mathematics of software engineering, especially model-driven development.
  • Colin Stirling - Models of concurrent computation, modal and temporal logics, verification of program properties.
  • Philip Wadler - Programming languages, functional programming, type systems, web programming, query languages for databases, hybrid and gradual typing, Haskell, Erlang, Java, XML.

Other Academic and Research Staff

These staff are currently not affiliated with an Institute, but also supervise research students.

  • Peter Buneman - Databases: data models, query languages, semistructured data, data provenance, databases and programming languages. Programming languages: functional programming and type systems. Bioinformatics and scientific databases. Mathematical phylogeny.
  • Gordon Plotkin - Applications of logic, especially: the denotational and operational semantics of programming languages; type-theory; domain-theoretic and categorical analyses of computation; general proof theory; the semantics of natural language; process calculi and computational biology.