Department of Computer Science

Projects

Projects per year 1996 2006 2007 2009 2011 2013 2014 2016 2019 2020 2022 2028

• 7 Active
• 122 Finished

Projects per year

Search results

• Active

  Revealing the secrets of neutron-star interiors with AI and the SKA

  Graber, V. (Fellow), Colombo, N. (CoI), Cowan, B. (Mentor) & Saunders, J. (Mentor)

  Medical Research Council MRC

  14/10/24 → 13/10/28

  Project: Research

• REDONDA: A Next-generation Byzantine State-Machine Replication Protocol for Blockchain.

  O'Keeffe, D. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/03/24 → 28/02/27

  Project: Research

• Royal Holloway and Bedford New College and Rubberatkins Limited KTP 23_24 R1

  Zhang, L. (PI) & Bryan, M. (CoI)

  Innovate UK

  1/02/24 → 31/01/26

  Project: Research

• NAfANE: New Approaches for Approximate Nash Equilibria

  Deligkas, A. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/01/24 → 31/12/26

  Project: Research

• Memory-optimal classical simulation of quantum data

  Shahandeh, F. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/08/23 → 31/07/25

  Project: Research

• iRealHAT-PEGA: Informed real-time human-agent teaming through patterns of eye gaze allocation

  Durant, S. (PI) & Stathis, K. (CoPI)

  Air Force Office of Scientific Research

  1/11/22 → 31/10/25

  Project: Research

• Automated Classification and Identification of Plant Specimens of the Royal Botanic Gardens Kew Using Imaging Processing, AI and Machine Learning

  Zhang, L. (PI)

  23/09/22 → 30/09/26

  Project: Research

• Finished

  Improving The Recycling Rate ofUsed Printer Cartridges ThroughAutomatic Sortation

  Nguyen, K. A. (PI)

  Innovate UK

  1/04/24 → 30/09/24

  Project: Research

• DataSim: A Machine Learning-powered simulation tool for rail timetable optimisation

  Nguyen, K. A. (PI) & Luo, Z. (CoI)

  Innovate UK

  2/10/23 → 1/10/24

  Project: Research

• Machine vision for live congestion estimation on train carriages

  Nguyen, K. A. (PI)

  3/04/23 → 30/09/23

  Project: Research

• Machine vision segmentation for automated UK train tracking and railway maintenance

  Nguyen, K. A. (PI)

  1/12/22 → 2/10/23

  Project: Research

• Consensus-layer mitigations for validator ransomware attacks

  O'Keeffe, D. (PI) & Hurley-Smith, D. (CoI)

  Ethereum Foundation

  1/10/22 → 31/03/23

  Project: Research

• Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation

  Zhang, L. (PI) & Wu, P. (CoI)

  Innovate UK

  1/10/22 → 30/09/23

  Project: Research

• 1851 Research Fellowship

  Shahandeh, F. (Fellow)

  Royal Commission for the Exhibition of 1851

  1/09/22 → 31/12/23

  Project: Research

• Subtype Universes

  Bradley, F. (PI)

  19/04/22 → 10/12/22

  Project: Research

• Turing Network Development Award

  Ashton, G. (PI) & Colombo, N. (CoI)

  Alan Turing Institute

  1/01/22 → 30/09/22

  Project: Research

• Verification of Integers and Sorting Algorithms in Coq

  Bradley, F. (PI)

  9/11/21 → 18/01/22

  Project: Research

• VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls

  Bernardini, S. (PI)

  Innovate UK

  1/11/21 → 31/10/23

  Project: Research

• Demeter

  Bernardini, S. (PI)

  Innovate UK

  1/10/21 → 30/09/23

  Project: Research

• SoAR: Squads of Adaptive Robots

  Bernardini, S. (PI)

  Innovate UK

  1/10/21 → 30/09/23

  Project: Research

• SMaILE: Simple Methods for Artificial Intelligence Learning and Education

  Bernardini, S. (PI)

  Compagnia di San Paolo Foundation

  26/02/21 → 26/02/23

  Project: Research

• Conformal Martingales for Change-Point Detection

  Gammerman, A. (PI) & Vovk, V. (CoI)

  Amazon

  1/06/20 → 31/05/21

  Project: Research

• New advances in insecticide resistance genomics: using Machine Learning to predict resistance phenotype from large-scale genomic data

  Paccanaro, A. (PI)

  Medical Research Council MRC

  26/05/20 → 30/11/22

  Project: Research

• Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina

  Engelmann, S. (PI), Kuenzel, S. (CoI), Tisan, A.-S. (CoI), Fisher, R. (CoI), Lowry, D. (CoI), Nisbet-Jones, P. (CoI), Adey, P. (CoI), Clemitshaw, K. (CoI), France, J. (CoI) & Johnstone, A. (CoI)

  1/04/20 → 31/07/21

  Project: Research

• Attention guidance for multi-task displays using human-like cognitive assistants

  Durant, S. (PI) & Stathis, K. (CoI)

  Imperial College London

  17/03/20 → 30/09/20

  Project: Research

• Justice for the Registrant: Transforming the fitness to practise process through the use of AI: Testing the model

  Jago, R. (PI), van der Gaag, A. (CoI) & Stathis, K. (CoI)

  1/02/20 → 31/03/20

  Project: Research

• CLeVer: Verification of Hardware Concurrency via Model Learning

  Sammartino, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  6/01/20 → 31/03/25

  Project: Research

• Intelligence in Context

  Watkins, C. (PI)

  1/01/20 → 15/08/21

  Project: Research

• Visiting Proferssorship_Professor Fabio Fagnani

  Bernardini, S. (PI) & Fagnani, F. (Fellow)

  Leverhulme Trust

  25/11/19 → 26/07/20

  Project: Other

• An investigation into the use of artificial intelligence in regulatory decision making in complaints about nurses in the US, UK and Australia

  Jago, R. (PI), van der Gaag, A. (PI), Stathis, K. (CoI), Denney, D. (CoI) & Webster, M. (CoI)

  National Council of State Boards of Nursing (NCSBN)

  1/11/19 → 1/03/21

  Project: Other

• String Constraint Solving with Real-World Regular Expressions

  Hague, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/07/19 → 30/06/22

  Project: Research

• PROMETHEUS: A Reconfigurable Robotic Platform (s) With Advanced Sensing For Confined Spaces

  Bernardini, S. (PI)

  Innovate UK

  1/04/19 → 31/03/21

  Project: Research

• MIMRee: Robotics and AI: inspect, maintain and repair in extreme environments

  Bernardini, S. (PI)

  Innovate UK

  1/03/19 → 28/02/21

  Project: Research

• Transatlantic Perspectives on the Use of Data Science in Museums and Heritage

  Platts, H. (PI), Dalton, P. (CoI), Howard, D. (CoI) & Watkins, C. (CoI)

  Arts & Humanities Res Coun AHRC

  1/02/19 → 30/06/20

  Project: Research

• Connect-R: Providing Structure in Unstructured Extreme Environments

  Bernardini, S. (PI)

  Innovate UK

  1/01/19 → 31/12/20

  Project: Research

• Analyzing Security-aware Workflows (funded by Leverhulme Trust)

  Gutin, G. (PI), Crampton, J. (CoI) & Cohen, D. (CoI)

  1/01/19 → 31/12/21

  Project: Research

• SHARPA: Shared Autonomy via Robust Task Planning and Argumentation

  Bernardini, S. (PI)

  Eng & Phys Sci Res Council EPSRC

  8/10/18 → 7/03/19

  Project: Research

• Models of Predictive Maintenance

  Gammerman, A. (PI)

  Centrica

  1/10/18 → 30/09/19

  Project: Research

• Leverhulme Trust Visiting Professorship

  Fiadeiro, J. L. (PI)

  Leverhulme Trust

  1/05/18 → 31/07/18

  Project: Research

• Impact of the large scale roll-out of smart meters on freedom of choice and privacy

  Zhang, X. (PI), Kuenzel, S. (PI), Córdoba-Pachón, J.-R. (PI) & Watkins, C. (PI)

  1/01/18 → 31/12/21

  Project: Research

• The risk of unknowingly disclosing personal information through eye tracking and webcam technology

  Durant, S. (PI), Woods, C. (Student), Watling, D. (CoI) & Luo, Z. (CoI)

  9/10/17 → 8/10/20

  Project: Research

• ABI innovation: A Graph based Approach for the Genome Wide Prediction of Conditionally Essential Genes

  Paccanaro, A. (PI)

  National Science Foundation (NSF), National Science Foundation

  15/09/17 → 14/09/20

  Project: Research

• Efficient Automatic Security Testing for Dynamic Languages

  Kinder, J. (PI)

  1/08/17 → 31/03/18

  Project: Research

• Machine Learning for Chemical Synthesis

  Gammerman, A. (PI), Toccaceli, P. (Researcher), Vovk, V. (CoI) & Luo, Z. (CoI)

  AstraZeneca

  1/05/17 → 30/06/18

  Project: Research

• Polytope methods in parameterized complexity

  Wahlström, M. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/12/16 → 31/12/17

  Project: Research

• EPSRC CDT2

  Cid, C. (PI), Paterson, K. (CoI), Mayes, K. (CoI), Martin, K. M. (CoI), Kinder, J. (CoI) & Adey, P. (CoI)

  Eng & Phys Sci Res Council EPSRC

  1/10/16 → 31/03/23

  Project: Research

• Prediction of drug cocktails with anti-trypanosomal effect

  Paccanaro, A. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/06/16 → 31/03/17

  Project: Research

• Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement

  Gerke, S. (PI)

  London Mathematical Society

  9/04/16 → 10/04/16

  Project: Other

• Automated Security Testing of Webview Interfaces

  Kinder, J. (PI)

  Google

  1/02/16 → 31/01/18

  Project: Research

• Semantic Completions: Unifying the Wave and the Particle Views of Information

  Fiadeiro, J. L. (PI), Vovk, V. (CoI) & Pavlovic, D. (CoI)

  Air Force Office of Scientific Research

  1/01/16 → 31/12/16

  Project: Research