Computer Science

Projects

Projects per year 1996 2002 2007 2008 2011 2012 2013 2017 2018 2019 2022 2023 2024 2032

• 13 Not started
• 39 Active
• 290 Finished

Projects per year

Search results

• Finished

  CyPhERS

  McDermid, J. A. (Principal investigator) & Paige, R. F. (Co-investigator)

  EUROPEAN COMMISSION

  1/07/13 → 28/02/15

  Project: Research project (funded) › Research

• Quantum probing of biological samples

  Pirandola, S.

  1/07/13 → 31/05/15

  Project: Research project (funded) › Research

• NC3RS: Mathematical modelling in toxicology call ´Imprecision and importance: Probabilistic graphical models in toxicology´

  Pitchford, J. & Cussens, J.

  NC3RS

  30/06/13 → 29/10/16

  Project: Research project (funded) › Research

• MCC: Mixed Criticality Embedded Systems on Many-Core Platforms

  Burns, A. (Principal investigator), Bate, I. J. (Co-investigator), Davis, R. I. (Co-investigator), Soares Indrusiak, L. (Co-investigator) & Harbin, J. R. (Researcher)

  EPSRC

  1/04/13 → 30/09/16

  Project: Research project (funded) › Research

• JUNIPER - JAVA Platform for High Performance Real-Time Large Scale Data Management

  Audsley, N. C. & Wellings, A. J.

  EUROPEAN COMMISSION

  26/11/12 → 30/11/15

  Project: Research project (funded) › Research

• D-MILS

  Kelly, T.

  EUROPEAN COMMISSION

  1/11/12 → 31/10/15

  Project: Research project (funded) › Research

• TRACE: Tremor Recognition and Automated Computational Evaluation

  Crispin-Bailey, C., Austin, J. & Hollier, G. P.

  1/11/12 → 1/11/15

  Project: Research project (funded) › Research

• NARILOP, MC IEF Blaithin Gallagher: Needs and requirements for independent living for older people

  Petrie, H.

  EUROPEAN COMMISSION

  15/10/12 → 14/10/14

  Project: Research project (funded) › Research

• DSTL PhD Studentship - Radu Calinescu

  Calinescu, R. & Paige, R. F.

  1/10/12 → 30/09/16

  Project: Research project (funded) › Research

• Wolfson Research Merit Award - Ana Cavalcanti

  Cavalcanti, A. L. C.

  THE ROYAL SOCIETY

  1/10/12 → 30/09/17

  Project: Research project (funded) › Research

• A Unified Model of Computational & Distributional Semantics: Theory and Applications

  Manandhar, S.

  EPSRC

  1/10/12 → 30/09/15

  Project: Research project (funded) › Research

• OSSMETER (EU ICT Bid)

  Paige, R. F. & Kolovos, D.

  EUROPEAN COMMISSION

  1/10/12 → 30/03/15

  Project: Research project (funded) › Research

• TRUCE (CSA)

  Stepney, S.

  EUROPEAN COMMISSION

  1/10/12 → 30/09/15

  Project: Research project (funded) › Research

• UCT for Games and Beyond

  Cowling, P. I.

  EPSRC

  1/09/12 → 28/02/14

  Project: Research project (funded) › Research

• Novel Sensing Networks for Intelligent Monitoring (NEWTON)

  Austin, J.

  EPSRC

  1/07/12 → 31/12/16

  Project: Research project (funded) › Research

• C2D2 research 1b - Development of a 3D morphable face model for planning, guidance and assessment of craniofacial surgery

  Pears, N., O'Higgins, P. & Smith, W. A. P.

  1/07/12 → 30/09/12

  Project: Other project › Other internal award

• C2D2 translational 1b & 2a - Building Infrastructure for Computational Approaches to Drug Development

  Timmis, J. & Coles, M. C.

  1/07/12 → 31/01/14

  Project: Other project › Other internal award

• DAASE

  Clark, J. A.

  EPSRC

  1/06/12 → 31/03/17

  Project: Research project (funded) › Research

• Cloud Computing for LSCITS

  Calinescu, R.

  EPSRC

  1/05/12 → 31/03/14

  Project: Research project (funded) › Research

• E-Infrastructure N8 Bid

  Austin, J.

  EPSRC

  1/04/12 → 31/03/13

  Project: Research project (funded) › Research

• LowPowNoC: Evaluation and reduction of power dissipation in multicore systems based on Networks-on-Chip

  Soares Indrusiak, L., Harbin, J. R. & Sudev, B.

  EPSRC

  26/03/12 → 25/12/13

  Project: Research project (funded) › Research

• Model-based Testing for refinement, state and interaction

  Cavalcanti, A. L. C.

  THE ROYAL SOCIETY

  25/03/12 → 24/03/14

  Project: Research project (funded) › Research

• C2D2 research 1a - Dissecting RNA interactions in disease: from modelling gene networks to future therapies

  Lagos, D. & Timmis, J.

  1/03/12 → 30/09/12

  Project: Other project › Other internal award

• C2D2 research 1a - Data and simulation of the dynamics of stem cell amplification in prostate disease development and control (Benign Prostatic Hyperplasia)

  Polack, F. A. C., Maitland, N. J. & Stepney, S.

  1/03/12 → 30/09/12

  Project: Other project › Other internal award

• Ecosystems Interaction

  White, P. C. L. (Principal investigator), Raffaelli, D. G. (Co-investigator), Timmis, J. (Co-investigator), Topi, C. (Co-investigator) & Bell, S. J. (Co-investigator)

  10/01/12 → 9/07/14

  Project: Other project › Research collaboration

• ChartEX

  Rees Jones, S. R., Petrie, H. & Power, C. D.

  2/01/12 → 31/10/13

  Project: Research project (funded) › Research

• High Rate Coherent Quantum Channels

  Braunstein, S. L. (Principal investigator) & Pirandola, S. (Co-investigator)

  EPSRC

  1/12/11 → 30/11/14

  Project: Research project (funded) › Research

• Graphical Model Approach to Pedigree Construction Using Constrained Optimisation

  Cussens, J.

  MEDICAL RESEARCH COUNCIL (MRC)

  3/10/11 → 27/02/15

  Project: Research project (funded) › Research

• CASE studentship

  Wilson, J. C. (Principal investigator), O'Keefe, S. (Co-investigator) & Kirkwood, J. S. (Student)

  1/10/11 → 30/09/15

  Project: Other project › Miscellaneous project

• OPENCOSS: Open Platform for Evolutionary Certification of Safety Critical Systems

  Kelly, T.

  EUROPEAN COMMISSION

  1/10/11 → 31/03/15

  Project: Research project (funded) › Research

• COMPASS: Comprehensive Modelling for Advanced Systems of Systems

  Woodcock, J.

  EUROPEAN COMMISSION

  1/10/11 → 30/09/14

  Project: Research project (funded) › Research

• T-CREST Time Predictable Multicore Processors & Architecture

  Audsley, N. C.

  EUROPEAN COMMISSION

  1/09/11 → 30/08/14

  Project: Research project (funded) › Research

• TouchMore - Automatic Customisable Toolchain for Meterogeneous Multicore Platform Software Development

  Audsley, N. C.

  EUROPEAN COMMISSION

  1/09/11 → 31/05/14

  Project: Research project (funded) › Research

• NASA Travel Visit: Automated Safety Cases

  Habli, I. (Principal investigator)

  11/04/11 → 22/04/11

  Project: Research project (funded) › Research

• ASHiCS: Automating the Search for Hazards in Complex Systems

  Clegg, K. D. & Alexander, R.

  1/04/11 → 1/04/13

  Project: Other project › Research collaboration

• (ASHiCS): Automating the search for Hazards in Complex Systems

  Alexander, R.

  SESAR JOINT UNDERTAKING

  1/04/11 → 31/03/13

  Project: Research project (funded) › Research

• COCORO: Collective Cognitive Robots

  Timmis, J. (Principal investigator)

  EUROPEAN COMMISSION

  1/04/11 → 30/09/14

  Project: Research project (funded) › Research

• Wolfson Merit Award

  Timmis, J.

  THE ROYAL SOCIETY

  1/04/11 → 31/03/16

  Project: Research project (funded) › Research

• COMPASS: Automated Safety Warnings (SESAR)

  Paige, R. F.

  SESAR JOINT UNDERTAKING

  1/04/11 → 30/11/13

  Project: Research project (funded) › Research

• CreST: The Creative Speech Technology Network

  Edwards, A. D. N., Newell, C., Howard, D. M. & Pauletto, S.

  EPSRC

  1/03/11 → 28/02/13

  Project: Research project (funded) › Research

• I2 Web: Inclusive Future_Internet Web Services

  Power, C. D.

  EUROPEAN COMMISSION

  1/11/10 → 30/04/13

  Project: Research project (funded) › Research

• CARMEN II e-Science Portal

  Austin, J.

  BBSRC (BIOTECHNOLOGY AND BIOLOGICAL SCIENCES RESEARCH COUNCIL)

  1/10/10 → 31/03/15

  Project: Research project (funded) › Research

• Resilient Futures

  Timmis, J.

  EPSRC

  1/10/10 → 31/03/14

  Project: Research project (funded) › Research

• eACCESS+: the eAccessibility Network

  Petrie, H.

  EUROPEAN COMMISSION

  1/09/10 → 31/08/13

  Project: Research project (funded) › Research

• hiJaC: HIJAC: High-Integrity Java applications using circus

  Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.

  EPSRC

  22/06/10 → 30/10/15

  Project: Research project (funded) › Research

• MADES: Model-based methods and tools for Avionics and surveillance embedded Systems

  Paige, R. F.

  EUROPEAN COMMISSION

  1/02/10 → 31/07/12

  Project: Research project (funded) › Research

• The Birth, Life and Death of Semantic Mutants

  Clark, J. A.

  EPSRC

  1/10/09 → 31/03/14

  Project: Research project (funded) › Research

• TEMPO (EPSRC) Time Driven Modelling & Resource Managment of real time systems on multiprocessor systems on chip

  Audsley, N. C.

  EPSRC

  1/10/09 → 30/03/13

  Project: Research project (funded) › Research

• Merit Award - Imaging Studies of Brain Structure and Function

  Hancock, E. R.

  THE ROYAL SOCIETY

  1/10/09 → 30/09/14

  Project: Research project (funded) › Research

• Post Doc Research Partnership with NPL

  Woodcock, J.

  EPSRC

  1/04/09 → 31/03/12

  Project: Research project (funded) › Research