Department of Computer Science

Projects

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

• 6 Active
• 121 Finished

Projects per year

Search results

• 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 of 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

• 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

• Exascale Compound Activity Prediction Engine

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

  European Union

  1/09/15 → 31/08/18

  Project: Research

• Autonomous Intelligent Systems

  Bernardini, S. (PI)

  Eng & Phys Sci Res Council EPSRC

  1/09/15 → 28/02/16

  Project: Research

• Bilateral NSF/BIO-BBSRC - Translational landscape to link cell growth with proliferation in the root meristem

  Bogre, L. (PI) & Paccanaro, A. (PI)

  Biotechnology&BioSci Research BBSRC

  1/07/15 → 30/06/18

  Project: Research

• MobSec: Malware and Security in the Mobile Age

  Cavallaro, L. (PI) & Kinder, J. (CoI)

  Eng & Phys Sci Res Council EPSRC

  10/11/14 → 4/05/19

  Project: Research

• HoTT-based Computer-Assisted Reasoning

  Luo, Z. (PI)

  Royal Academy of Engineering

  1/07/14 → 30/06/15

  Project: Research

• Constraint Network Tractability: Beyond Structure and Language

  Cohen, D. (PI)

  Eng & Phys Sci Res Council EPSRC

  31/05/14 → 30/05/17

  Project: Research

• Multi-level analysis of the evolution of cooperative behaviour in social insects Marie Curie Fellow – Dr Fabio Manfredini

  Brown, M. J. F. (PI) & Paccanaro, A. (CoI)

  European Union

  1/04/14 → 31/03/16

  Project: Research

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

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

  1/04/14 → 31/03/17

  Project: Research