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

• 53 Active
• 434 Finished

Projects per year

Search results

• Homotopy type theory as a language for directed infinite-dimensional structure (Nicolai Kraus)

  Kraus, N.

  THE ROYAL SOCIETY

  1/10/19 → 30/09/24

  Project: Research Councils

• HP Research Chair Cyber Security (Prof M Ryan)

  Ryan, M.

  HP INC UK LTD

  1/09/16 → 1/09/22

  Project: Industry

• Human Engagement through artificial / augmented intelligence (via Lancaster University)

  Apperly, I. & Baber, C.

  ECONOMIC & SOCIAL RESEARCH COUNCIL

  1/06/19 → 30/09/20

  Project: Research Councils

• Human Error Data Collection

  Baber, C. & Gibson, W.

  EUROCONTROL EXPERIMENTAL CENTRE

  1/07/06 → 31/12/06

  Project: EU

• Human Error Data Collection

  Baber, C.

  EUROCONTROL EXPERIMENTAL CENTRE

  1/09/04 → 31/12/04

  Project: EU

• Human Factors of Wearable Computers

  Baber, C.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/10/97 → 30/09/00

  Project: Research Councils

• Hybrid Optimisation for Engines

  Yao, X.

  FORD MOTOR COMPANY

  1/07/17 → 30/06/21

  Project: Research

• Hyundai Comp Sci Placement

  Chang, H. J.

  HYUNDAI MOTOR COMPANY

  1/08/19 → 31/12/47

  Project: Industry

• IAA 2012 - FOF Fast and reliable 3D scanning for image guided breast reconstructive surgery

  Dehghani, H.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/01/14 → 30/09/15

  Project: Research Councils

• IAA2017_Formal Verification of a secure Boot Protocol

  Ryan, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  17/09/18 → 16/11/18

  Project: Research Councils

• IAA2017 - Optical Imaging for detection and characterisation of Rheumatoid arthritis

  Dehghani, H.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/01/19 → 31/03/20

  Project: Research Councils

• IAA2017 - Sensors for Pallet Detection

  Leonardis, A.

  HYSTER-YALE UK LIMITED, ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/01/18 → 30/06/19

  Project: Research

• iCASE 2014 - Lightweight Cryptograghy for Next Gen Vehicle Electronic Architecture

  Garcia, F.

  JAGUAR CARS LIMITED

  1/01/15 → 26/07/19

  Project: Industry

• Image Analysis based on an Optical Model of the Skin for Detection of Early Signs of Melanoma

  Claridge, E.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/08/99 → 31/03/03

  Project: Research Councils

• Image interpretation via Spectral Models

  Claridge, E.

  LEVERHULME TRUST

  1/04/02 → 31/03/04

  Project: Research

• Integrating functional design evaluation methods in aesthetic design process

  Yao, X.

  HONDA R&D EUROPE (DEUTSCHLON) GMBH

  1/05/10 → 31/12/16

  Project: EU

• Intelligent Ambient Information Representation: Managing Increasing Data

  Beale, R.

  THE ROYAL ACADEMY OF ENGINEERING

  15/02/08 → 14/02/10

  Project: Research

• Interaction with hierarchical planning systems

  Hawes, N.

  BAE SYSTEMS (OPERATIONS) LTD

  28/02/14 → 31/12/14

  Project: Industry

• Intergration of Planning and Learning in Real Robot Tasks

  Wyatt, J.

  BRITISH COUNCIL

  26/04/01 → 30/06/03

  Project: Other Government Departments

• International Exchanges Scheme - 2011 China Costshare (NSFC)

  He, S.

  THE ROYAL SOCIETY

  1/03/12 → 28/02/14

  Project: Research Councils

• International Exchanges Scheme - 2015 Chine (NSFC) - Dynamic Optimization of Software Architectures for Cloud Applications

  Yao, X.

  THE ROYAL SOCIETY

  1/04/16 → 31/03/18

  Project: Research Councils

• International Exchanges Scheme - 2015 Chine (NSFC) - On some problems in the theory of domains (Royal Society -Newton Mobility Grant)

  Jung, A.

  THE ROYAL SOCIETY

  16/03/16 → 15/03/18

  Project: Research Councils

• International Joint Project 2008 - Combining complementary approaches for mathematical / chemical document analysis

  Sorge, V.

  THE ROYAL SOCIETY

  1/04/09 → 31/03/11

  Project: Research Councils

• Internship Scheme Agreement

  Ryan, M.

  13/06/16 → 30/09/16

  Project: Other Government Departments

• Investigation of Voice-Based Aims and User Issues

  Baber, C.

  NCR FINANCIAL SOLUTIONS GROUP LTD

  1/06/94 → 30/09/94

  Project: Industry

• ISF 2012 - DL - Prof X Yao and Dr V Sorge

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  14/02/13 → 31/03/13

  Project: Research Councils

• ISF 2012 - KTS - Least Cost Fulfillment

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, THE SUPPLIES GROUP LTD

  10/09/12 → 31/03/13

  Project: Research

• ISF 2012 - KTS - Supplies Group Limited - Competitor Intelligence

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, THE SUPPLIES GROUP LTD

  10/09/12 → 31/03/13

  Project: Research

• ISF 2012 - SC - A Black Box for Trauma Care

  Howes, A.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  8/10/12 → 31/03/13

  Project: Research Councils

• Isogeny-Based Cryptography: From Theory to Practice

  Petit, C.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  25/03/19 → 24/03/22

  Project: Research Councils

  • Discrete Logarithm Problem 100%
  • Subfield 87%
  • Elliptic Curves 72%
  • Speedup 40%
  • Polynomial 40%

• ISSF 13/14 - Biophysical and computational analysis of clathrin-coated vesicle uncoating

  Rappoport, J. & Styles, I.

  THE WELLCOME TRUST

  13/01/14 → 28/02/15

  Project: Research

• Kit Murdock Studentship

  Oswald, D.

  5/11/18 → 4/05/22

  Project: Other Government Departments

• Knowledge Support for Business

  Hendley, R.

  Birmingham City Council

  1/01/02 → 31/12/03

  Project: Research

• KTP 6759 - Design and Implementation of a Distributed System for Performance and Compliance Monitoring

  Bordbar, B.

  AEA TECHNOLOGY, BRITISH TELECOMMUNICATIONS PLC

  6/05/08 → 5/05/11

  Project: Research

• KTP Customer Life Time value busines problem and opportunities

  Tino, P.

  INDUSTRIAL MATHEMATICS KTN, AEA TECHNOLOGY

  21/06/11 → 19/12/11

  Project: Research

• KTP - Rapide Comm - Using Natural Language Processing based approaches

  Lee, M.

  RAPIDE COMMUNICATIONS LTD, AEA TECHNOLOGY

  14/09/09 → 13/09/11

  Project: Research

• KTP with KUKA Robotics UK Ltd - To develop a new toolbox of software and alogoriths

  Stolkin, R. & Leonardis, A.

  KUKA ROBOTICS UK LTD, KNOWLEDGE TRANSFER PARTNERSHIPS

  13/01/15 → 12/01/18

  Project: Research

  • Convolutional neural networks 100%
  • Crops 61%
  • Experiments 19%

• KTS - SMTC UK, Longbridge - Dr Thorsten Schnier

  Yao, X. & Xu, H.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  31/05/11 → 30/05/12

  Project: Research Councils

• Large-Scale Distributed Simulation of the Grid

  Theodoropoulos, G.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  29/06/04 → 28/09/06

  Project: Research Councils

  • Agent-based Simulation 100%
  • Multi-agent Simulation 57%
  • Distributed Simulation 54%
  • System Simulation 42%
  • Multi-agent Systems 39%

• Leadership Fellowships 2009 : Analysing Security and Privacy Properties

  Ryan, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/04/10 → 30/09/15

  Project: Research Councils

  • Observational Equivalence 100%
  • Network protocols 82%
  • Positive ions 75%
  • Data structures 50%
  • Hardware security 19%

• Learning in the Generative Model Space with Application to Computational Biology

  He, S.

  THE ROYAL SOCIETY

  16/03/15 → 15/03/17

  Project: Research Councils

• Learning Support for Small Business

  Hendley, R.

  Birmingham City Council

  1/01/98 → 31/12/00

  Project: Research

• Learning the structure and dynamics of human environments to support intelligent mobile robot behaviour

  Hawes, N.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  29/04/13 → 28/04/14

  Project: Research Councils

• Leverhulme International Professorship Grant

  Kearns, P., Lee, M., Carlomagno, T. & Cooper, H.

  LEVERHULME TRUST

  1/10/21 → 30/09/26

  Project: Research

• Lexical Alignment in human computer dialogue - the impact of voice anthropomorphism

  Cowan, B.

  BRITISH ACADEMY

  9/04/12 → 29/03/13

  Project: Research Councils

• Lexical Functional Grammar Interface for Database Access

  Hancox, P.

  Defence Science And Technology Laboratory

  1/08/92 → 31/03/93

  Project: Other Government Departments

• Link: PUMA - Personalised User Interfaces for Information Management and Authorisation

  Russell, M. & Quigley, S.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, BRITISH TELECOMMUNICATIONS PLC

  1/06/00 → 31/05/03

  Project: Research

• Literature Review and Summary on Issues Arising From The Allocation of Function Between Operators and UAVs, RPVs and SAVs

  Baber, C.

  Defence Science And Technology Laboratory

  30/11/98 → 30/10/99

  Project: Other Government Departments

• Live monitoring of foreign-body response in animals by diffuse Raman spectroscopy

  Dehghani, H.

  NATIONAL CENTRE FOR THE REPLACEMENT, REFINEMENT & REDUCTION OF ANIMALS IN RESEARCH

  1/09/21 → 29/02/24

  Project: Research Councils

• MACACO: Mobile context-Adaptive CAching for COntent-centric networking

  Musolesi, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  30/04/14 → 29/04/17

  Project: Research Councils

  • Human Behavior 100%
  • Cellular telephones 95%
  • Sensor 77%
  • Causality 77%
  • Causation 76%