Department of Computer Science and Technology

Artificial Intelligence Group

Academic staff

  • Prof John Daugman OBE FREng
    Computer vision, statistical pattern recognition, information theory, wavelets, and chess algorithms.
  • Dr Sean Holden
    Machine learning algorithms, computational learning theory, Bayesian inference and Bayes networks, planning algorithms, functional languages for machine learning, probabilistic programming languages, application of machine learning in theorem proving, drug design, retinal opthalmology and organelle proteomics.
  • Dr Mateja Jamnik
    Computational modeling of human reasoning, in particular in mathematics. Artificial intelligence, human-like computation, automated reasoning, diagrammatic reasoning, knowledge representation, theorem proving, cognitive science, machine learning, human-computer interaction.
  • Dr Pietro Liò
    Machine Learning and computational models in health Big Data Predictive models in Personalised medicine Methods for combining Multi scale, Multi omics and Multi physics modelling of molecules-cell-tissue-organ interactions Developing and testing methodologies for modeling biomedical systems Super meta: Meta Analysis and Omics integration bioinformatics
  • Dr Thomas Sauerwald
    Randomised algorithms (in particular for load balancing or information dissemination), markov chains and random walks, distributed computing, graph theory, game theory.

Post-doctoral researchers

  • Dr Zohreh Shams
    Human-like computing, logic-based knowledge representation and automated reasoning, argumentation theory, intelligent agents and multi-agent systems.
  • Dr Daniel Raggi
    The role of representation in reasoning. The relation between formal systems and human cognition. Modeling mathematical reasoning. Understanding 'understanding'.

Research students

  • Helena Andres Terre (Dr P. Liò)
    Cell decision making, integration of structural, genetic and epigenetic data
  • Edward Ayers (Dr M. Jamnik; Prof. Timothy Gowers, DPMMS)
    Automated Mathematician
  • Tiago Azevedo (Dr P. Liò, Prof. M. Spillantini)
    Machine Learning and Multi-scale Modelling of Tauopathies
  • Cătălina Cangea (Dr P. Liò)
    Deep learning methods for heterogeneous medical and environmental data integration
  • Maxwell Conway (Dr P. Liò)
    Computational Modeling of Comorbidities
  • Benjamin Day (Dr P. Liò)
    Developing AI inspired by statistical physics
  • Botty Dimanov (Dr M. Jamnik)
    Interpretable deep learning
  • Giovanna Maria Dimitri (Dr P. Liò)
    Development of network methodologies for brain data modelling
  • Chaitanya Mangla (Dr M. Jamnik, Dr S. B. Holden)
    Machine Learning for Automated Theorem Proving
  • Emma Rocheteau (Dr P. Liò, Dr R. Cardinal)
    Predicting outcomes in psychiatric disorders using reinforcement learning
  • Simeon Spasov (Dr P. Liò)
    Modelling metabolic and communication dysfunctions in Parkinson's Diseases
  • Pablo Spivakovsky-Gonzalez (Dr P. Liò)
    Cold Fish
  • Aaron Stockdill (Dr M. Jamnik)
    Automating representation change across domains for reasoning
  • Ivo Timóteo (Dr S. B. Holden)
    Identification of dynamic systems from time-series data
  • Petar Veličković (Dr P. Liò)
    Overcoming challenging data scenarios in deep learning
  • Duo Wang (Dr P. Liò, Dr M. Jamnik)
    Bridging Computer Science with Neuroscience towards a new understanding of reasoning
  • Hui Xiao (Dr P. Liò; Prof. Anne Ferguson-Smith, MoleBio)
    Multi-omic data integration in mammalian early embryonic development and human diseases
  • Jin Zhu (Dr P. Liò)
    A Clinical Decision Support System for Cerebral Vascular Diseases

Associated academic researchers

  • Alan Blackwell
    Visual representation, end-user development, interdisciplinary design, tangible augmented and embodied interaction, psychology of programming, computer music, critical theory.
  • Ted Briscoe
    Computational linguistics, speech and language processing, textual information management, evolutionary linguistics.
  • Anne Copestake
    Natural language processing (NLP) / computational linguistics, representation issues, compositional and lexical semantics, natural language generation.
  • Richard Gibbens
    Mathematical modelling of networks especially communication networks, road transport networks, energy networks.
  • Hatice Gunes
    Artificial emotional intelligence, affective computing, personality computing, social signal processing, human behaviour understanding, social robotics, human-robot interaction, intelligent user interfaces, human sensing in virtual reality, assistive technologies.
  • Marwa Mahmoud
    Automating machine understanding of emotional body language, including expressions of emotions or medical conditions.
  • Cecilia Mascolo
    Mobile and sensor systems, mobility modelling, mobile applications, mobile data analysis.
  • Simone Teufel
    Text understanding
  • Chris Town
    Computer vision, content-based image retrieval and search, optical character recognition (OCR) and biological pattern recognition.
  • Damon Wischik
    Mathematics and machine learning, dashboards for taxis cars and trains, incentives.
  • Eiko Yoneki
    Data centric systems and networking, large-scale graph processing, big data, graph database, parallel data-flow programming, data driven declarative networking, delay tolerant networks, bio-inspired networks and social networks, complex and time-dependent networks, wireless sensor networks, mobile peer-to-peer systems, data synchronisation, caching, and replication, event-based distributed systems, event correlation.
For individual contact details, see also the Laboratory’s list of all members.