Computer Science

Projects

Projects per year 1992 2000 2002 2003 2004 2005 2006 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2047

• 2 Not started
• 53 Active
• 434 Finished

Projects per year

Search results

• CASE Award - ICI (Student Unknown)

  Dodd, P.

  IMPERIAL CHEMICAL INDUSTRIES

  31/07/95 → 30/08/95

  Project: Industry

• Case Award 1990: Mrs R F Docherty

  Hancox, P.

  BRITISH PETROLEUM

  1/08/92 → 30/09/93

  Project: Industry

• Case Award: Barry Wilkins- Methodology for the Design and Evaluation of Information Visualisation System in Command and Control Environments

  Hendley, R.

  QINETIQ LTD

  1/10/01 → 30/09/02

  Project: Other Government Departments

• CASE Award: Andrew Pryke

  Hancox, P.

  BRITISH MARITIME TECHNOLOGY LIMITED

  1/11/93 → 31/10/95

  Project: Industry

• CASE : Computer Assisted Data Mining

  Sloman, A.

  INTEGRAL SOLUTIONS LIMITED

  1/10/95 → 30/09/96

  Project: Industry

• CAP-TEE: Capability Architectures in Trusted Execution

  Ryan, M., Thomas, R., Ordean, M., Sinha Roy, S., Garcia, F. & Oswald, D.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  12/08/20 → 11/06/24

  Project: Research Councils

• Cancer GRID.

  Johnson, P. & Kwiatkowska, M.

  Medical Research Council

  1/06/05 → 31/05/08

  Project: Research Councils

• Calculemus systems for Intergrated Computation and deduction.

  Kerber, M.

  European Commission

  1/09/00 → 31/08/04

  Project: Research

• BURG: Benchmarks for UndeRstanding Grasping

  Leonardis, A. & Sridharan, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/11/19 → 31/10/22

  Project: Research Councils

  • Deep learning 100%
  • Robotics 84%
  • Decision making 80%
  • Robots 71%
  • Transparency 29%

• Building a Large-Scale Natural Gaze Data Collection System for Appearance-Based Gaze Estimation in the WIld

  Chang, H. J.

  THE ROYAL SOCIETY

  27/03/19 → 26/03/20

  Project: Research Councils

• British-Polish Young Scientist Programe - Pawel Waszkiewicz

  Jung, A.

  BRITISH ACADEMY

  1/08/06 → 31/07/07

  Project: Research Councils

• British - Polish Joint Research Collaboration Programme

  Kwiatkowska, M.

  BRITISH COUNCIL

  1/04/96 → 31/03/97

  Project: Other Government Departments

• British-German Academic Research Collaboration Programme

  Kwiatkowska, M.

  BRITISH COUNCIL

  1/07/98 → 31/03/02

  Project: Other Government Departments

• British Council - Murst/Crui Agreement

  Poli, R.

  BRITISH COUNCIL

  1/02/96 → 28/02/98

  Project: Other Government Departments

• Birmingham Interdisciplinary Bridging - Dr X Li

  Li, X.

  Medical Research Council

  1/10/06 → 30/06/07

  Project: Research Councils

• Biometrics for Keyless Automotive Access

  Russell, M.

  MERITOR LIGHT VEHICLE SYSTEMS UK LTD

  1/10/00 → 30/09/01

  Project: Industry

• BHF Infrastructure Grant

  Thomas, S., Poulter, N., Styles, I. & Watson, S.

  BRITISH HEART FOUNDATION

  27/03/18 → 25/09/19

  Project: Research

  • Formins 100%
  • Blood Platelets 62%
  • Actins 53%
  • Proteins 26%
  • Megakaryocytes 24%

• BELKA - Using Mixed - Reality Gaming to Investigate Integrated Mobile Ad Hoc Digital Communities

  Baber, C.

  MICROSOFT LIMITED

  1/07/03 → 31/12/04

  Project: Industry

• Baskerville 2.0: Enhanced Provision for High End and On-Demand Users

  Styles, I.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  4/01/22 → 3/05/22

  Project: Research Councils

• Baskerville: a national accelerated compute resource

  Cai, B. & Styles, I.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, Lenovo UK Limited

  13/10/20 → 12/10/24

  Project: Research Councils

• Babymind: Computational Models of Sensorimotor Learning and Control

  Bremner, A., Chang, H. J., Leonardis, A., Yeo, S. & Miall, C.

  Ministry of Science and ICT

  1/01/20 → 31/12/20

  Project: Research

• BAA-RM-04-23 NECTAR

  Delaney, B., Arvanitis, T., Hobbs, R. & Kwiatkowska, M.

  NATIONAL INSTITUTE OF HEALTH, USA

  30/09/04 → 29/09/08

  Project: Research

• Average computation time of Evolutionary Algorithms for Combinational Optimisation problems.

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/09/01 → 28/02/03

  Project: Research Councils

• Autonomous Agents

  Sloman, A.

  Defence Science And Technology Laboratory

  1/06/95 → 31/05/98

  Project: Other Government Departments

• Autonomic Solutions for Visualised ICT

  Yao, X.

  BRITISH TELECOMMUNICATIONS PLC

  1/11/06 → 30/04/10

  Project: Industry

• Automotive Cyber Security Test Bench / Embedded Security Lab Expansion (linked to 18518)

  Garcia, F.

  Government Communications Headquarters

  9/02/15 → 31/03/16

  Project: Other Government Departments

• Automatic Verification of Randomized Distributed Algorithms

  Kwiatkowska, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/09/98 → 31/08/01

  Project: Research Councils

• Automatic problem Decomposition using Co-evolution and Ensembles

  Yao, X.

  HONDA R&D EUROPE (DEUTSCHLON) GMBH

  1/10/01 → 31/03/02

  Project: EU

• Automated Verification of Probabilistics Protocols with PRISM

  Kwiatkowska, M. & Theodoropoulos, G.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/04/03 → 31/03/06

  Project: Research Councils

  • Multiplexing 100%
  • Model checking 41%
  • Defects 40%
  • Statistical Models 35%
  • Redundancy 33%

• Automated Understanding of Metaphorical Utterances in Mundane Discourse

  Barnden, J.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  14/09/99 → 13/06/03

  Project: Research Councils

• Automated quantitative software verification with PRISM

  Kwiatkowska, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/01/07 → 31/03/10

  Project: Research Councils

  • Fibroblasts 100%
  • Intercellular Signaling Peptides and Proteins 93%
  • Growth Factors 86%
  • Pathway 73%
  • Probabilistic Model 70%

• Automated Protocol Learning and Vulnerability Detection for TLS, WPA and IoT Protocols - Chris McMahon Stone, Doctoral Studentship

  Garcia, F. & Chothia, T.

  27/01/17 → 31/03/21

  Project: Other Government Departments

• Automated Game-Theoretic Verification of Security Systems

  Parker, D.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  4/11/13 → 31/10/14

  Project: Research Councils

  • Controllers 100%
  • Controller 86%
  • Markov processes 83%
  • Markov Decision Process 83%
  • Learning Algorithm 80%

• Automated Diagnosis for Fault Detection, Identification and Recovery in Autosub6000

  Dearden, R. & Wyatt, J.

  NATURAL ENVIRONMENT RESEARCH COUNCIL

  1/12/08 → 15/02/12

  Project: Research Councils

  • Autonomous underwater vehicles 100%
  • Failure analysis 73%
  • Health 10%
  • Computer hardware 8%

• Automated Conflict Resolution in Clinical Pathways

  Lee, M., Litchfield, I., Turner, A. & Bordbar, B.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/08/15 → 30/04/19

  Project: Research Councils

  • Multimorbidity 100%
  • Secondary Care 90%
  • text analysis 88%
  • Primary Health Care 87%
  • Drug Interactions 72%

• A Unified Model for Speech Recognition and Synthesis

  Russell, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  14/09/05 → 13/03/09

  Project: Research Councils

  • Acoustics 100%
  • Hidden Markov models 93%
  • Discriminant analysis 32%
  • Singular value decomposition 31%
  • Speech recognition 28%

• A theory of type theories

  Ahrens, B.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/03/20 → 31/08/22

  Project: Research Councils

• Assessing and Designing Dialogues for Interactive SpeechSystems:An Ergonomics Approach

  Baber, C.

  MINISTRY OF DEFENCE

  1/10/93 → 30/09/95

  Project: Other Government Departments

• ASPIRE - Advance Modelling and Specification of DistributedInformation Systems

  Ryan, M.

  European Commission

  1/02/97 → 31/01/00

  Project: EU

• A Simulation Study of Major Early Transitions in the Evolution of Nervous Systems

  Yao, X.

  HONDA R&D EUROPE (DEUTSCHLON) GMBH

  1/11/05 → 31/12/16

  Project: EU

• ASIA IT & C: Natural Computation Techniques for Intelligent.

  Yao, X.

  European Commission

  1/07/01 → 30/06/02

  Project: EU

• Artist in Residence - Dr Myfanwy Johns

  Schnier, T.

  LEVERHULME TRUST

  25/11/11 → 30/06/12

  Project: Research

• Articulatory Modelling for Speech Recognition and Speaker Identification

  Russell, M.

  Government Communications Headquarters

  1/10/04 → 30/09/07

  Project: Other Government Departments

• Architectures for Human-Like Minds

  Sloman, A.

  LEVERHULME TRUST

  1/10/99 → 30/06/03

  Project: Research

• APPSEM II: - Applied Semantics II

  Jung, A.

  European Commission

  1/01/03 → 30/06/06

  Project: EU

• Applying Techniques from Intelligent Robotics to Autonomous Avatars in Virtual Worlds

  Hawes, N.

  DADEN LIMITED

  1/12/08 → 31/03/09

  Project: Industry

• Applied Semantics-Esprit Project 26142-APPSEM

  Jung, A.

  European Commission

  1/04/98 → 31/03/01

  Project: EU

• Applications of geometric logic to topos approaches to quantum theory

  Vickers, S.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/09/09 → 31/08/12

  Project: Research Councils

  • Topos 100%
  • Locale 90%
  • Locally Compact 33%
  • Sheaves 21%
  • C*-algebra 20%

• Anti-Corruption Evidence Programme – Serious Organised Crime

  Collier, N., Marquette, H. & Baber, C.

  FOREIGN & COMMONWEALTH OFFICE

  1/06/21 → 30/09/22

  Project: Research

• A Novel Coherent Approach to the Detection of and Diagnosis of the Misuse in MoD Networked Systems.

  Kennedy, C.

  MINISTRY OF DEFENCE

  1/12/01 → 30/11/04

  Project: Other Government Departments