Computer Science

Doherty, B. (Principal investigator), Ensor, J. (Co-investigator), Heron, T. (Co-investigator), Howley, P. (Co-investigator), Petrie, H. (Co-investigator), Pickett, K. (Co-investigator) & West, C. D. (Co-investigator)

BBSRC (BIOTECHNOLOGY AND BIOLOGICAL SCIENCES RESEARCH COUNCIL)

16/10/16 → 31/07/21

Project: Research project (funded) › Research

E2D3S2 Education and Engagement for Inclusive and development of Digital Systems and Services

Petrie, H.

EUROPEAN COMMISSION

1/10/16 → 30/09/18

Project: Research project (funded) › Research

SAFIRE

Soares Indrusiak, L. & Audsley, N. C.

EUROPEAN COMMISSION

1/10/16 → 30/09/19

Project: Research project (funded) › Research

Mixed Criticality Cyber- Physical Systems

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

EPSRC

1/10/16 → 30/09/19

Project: Research project (funded) › Research

Factory A Research Plan and Constellation

Habli, I. (Principal investigator), Hawkins, R. D. (Co-investigator) & Kelly, T. (Co-investigator)

1/06/16 → 31/03/17

Project: Research project (funded) › Research

STRATA; Layers for Structuring Trustworthy Ambient Systems

Burns, A. (Principal investigator)

EPSRC

1/06/16 → 31/05/21

Project: Research project (funded) › Research

New Crypto App ("Field Implementation of Measurement Device Independent Quantum Cryptography")

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

1/04/16 → 31/03/20

Project: Research project (funded) › Research

Example Based Inverse Rendering (Overseas Travel Grant)

Smith, W. A. P.

EPSRC

6/01/16 → 5/04/16

Project: Research project (funded) › Research

Safety Assurance of Health IT

Habli, I. (Principal investigator)

1/01/16 → 31/12/16

Project: Research project (funded) › Research

PHANTOM: Cross-Layer and Multi-Objective Programming Approach for Next Generation Heterogeneous Parallel Computing Systems

Audsley, N. C.

EUROPEAN COMMISSION

1/12/15 → 28/02/19

Project: Research project (funded) › Research

Newton International Science

Cavalcanti, A. L. C.

THE ROYAL SOCIETY

1/12/15 → 30/11/17

Project: Research project (funded) › Research

Mutation testing for Improving the Software Assurances of Instrumentation and Control Systems (CINIF)

Habli, I. (Principal investigator) & Clark, J. A. (Co-investigator)

1/11/15 → 30/09/16

Project: Research project (funded) › Research

1851 Royal Commission - Research Fellowship. Dr Pierre-Louis Giscard

Wilson, R. C.

1/10/15 → 30/09/18

Project: Research project (funded) › Research

The Digital Creativity Hub

Cowling, P. I. (Principal investigator), Austin, J. (Co-investigator), Cairns, P. A. (Co-investigator), Holliman, N. S. (Co-investigator), Hook, J. D. (Co-investigator), Marsden, E. (Co-investigator), Murphy, D. T. (Co-investigator), Petrie, H. (Co-investigator), Reed, D. J. (Co-investigator), Richards, J. D. (Co-investigator), Ursu, M. (Co-investigator), Wade, A. (Co-investigator), Baier, H. (Researcher), Beale, G. (Researcher), Block, F. O. (Researcher), Deterding, C. S. (Researcher), Devlin, S. (Researcher), Drachen, A. (Researcher), Kasprowicz, R. E. (Researcher), Smith, D. P. (Researcher) & Williams, D. A. H. (Researcher)

EPSRC

1/10/15 → 30/09/22

Project: Research project (funded) › Research

Royal Society Industry Fellowship

Dodds, M.

THE ROYAL SOCIETY

4/09/15 → 31/08/17

Project: Research project (funded) › Research

A Calculus for Software Engineering of Mobile and Autonomous Robots

Cavalcanti, A. L. C. (Principal investigator), Timmis, J. (Co-investigator), Woodcock, J. (Co-investigator), Foster, S. D. (Researcher), Li, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)

EPSRC

1/09/15 → 30/06/21

Project: Research project (funded) › Research

NASA Travel Visit: Dynamic Safety Cases

Habli, I. (Principal investigator)

12/08/15 → 21/08/15

Project: Research project (funded) › Research

Assistive, Adaptive and Rehabilitative Technologies - Beyond the Clinic

Petrie, H.

EPSRC

1/04/15 → 30/09/18

Project: Research project (funded) › Research

Principled Reasoning About Liveness

Dodds, M.

1/04/15 → 31/03/17

Project: Research project (funded) › Research

CRACK-IT Phase 2: A multiscale model to minimise animal usage in Leishmaniasis drug development

Kaye, P., Austin, J., Coles, M. C., Lagos, D. & Timmis, J.

NC3RS

1/01/15 → 31/12/17

Project: Research project (funded) › Research

INTO-CPS: INtegrated TOol chain for model-based design of CPSs

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

EUROPEAN COMMISSION

1/01/15 → 31/12/17

Project: Research project (funded) › Research

UK Quantum Technology Hub for Quantum Communications Technologies

Spiller, T. P. (Principal investigator), Braunstein, S. L. (Co-investigator), Colbeck, R. (Co-investigator), Pirandola, S. (Co-investigator), Ottaviani, C. (Researcher), Parapatil Subramanian, R. K. (Researcher) & Ragy, S. H. (Researcher)

EPSRC

1/12/14 → 30/11/19

Project: Research project (funded) › Research

File

INRIA International Chair

Davis, R. I.

1/10/14 → 30/09/19

Project: Other project › Research collaboration

Multi-Paradigm Physically Embodied Computation

Stepney, S. (Principal investigator) & Sebald, A. (Co-investigator)

1/10/14 → 30/09/17

Project: Research project (funded) › Research

Quantum Discrimination for data retrieval (qDATA)

Pirandola, S.

EPSRC

23/04/14 → 21/07/16

Project: Research project (funded) › Research

Digging Archaeology Data: Image Search and Markup (DADAISM)

Petrie, H. (Principal investigator), Power, C. D. (Co-investigator) & Richards, J. D. (Co-investigator)

JOINT INFORMATION SYSTEMS COMMITTEE

7/04/14 → 31/07/16

Project: Research project (funded) › Research

Cell Branch: A toolset for exploring Stem Cell Differentation

Stepney, S.

BBSRC (BIOTECHNOLOGY AND BIOLOGICAL SCIENCES RESEARCH COUNCIL)

24/03/14 → 30/06/15

Project: Research project (funded) › Research

Testing Autonomous Vehicle Software using Situation Generation

Alexander, R.

EPSRC

18/03/14 → 17/04/15

Project: Research project (funded) › Research

Railway Asset Monitoring Platform

Cairns, P. A.

1/02/14 → 31/01/16

Project: Research project (funded) › Research

C2D2 Consolidator 3a - York Computational Immunology Lab: Advancing Immunology Through Computational Modelling

Coles, M. C., Timmis, J., Rose, L. M., Polack, F. A. C., Lagos, D., Kullberg, M. C., Kaye, P. & Bees, M. A.

1/01/14 → 31/12/14

Project: Other project › Other internal award

Scalable Modelling and Model Management on the Cloud: MONDO

Kolovos, D., Paige, R. F. & Rose, L. M.

EUROPEAN COMMISSION

1/11/13 → 30/04/16

Project: Research project (funded) › Research

EvoEvo

Stepney, S.

EUROPEAN COMMISSION

1/11/13 → 30/10/16

Project: Research project (funded) › Research

New Economic Models & Opportunities for Digital Games

Cowling, P. I., Cabras, I., Fernandes, K. J., Kudenko, D. & Devlin, S.

EPSRC

14/10/13 → 13/10/16

Project: Research project (funded) › Research

NOMAD: Non-Standard Operand Mechanisms Architecture Demonstrator

Crispin-Bailey, C. & Austin, J.

1/10/13 → 31/05/15

Project: Research project (funded) › Research

L2SB: Extreme Low Power Biosignal Data Compression

Crispin-Bailey, C., Austin, J. & Dai, C.

1/10/13 → 1/05/20

Project: Research project (funded) › Research

DARC: Dark silicon Architectures for Register-less Computing

Crispin-Bailey, C. & Arnone, A.

1/10/13 → 31/10/17

Project: Research project (funded) › Research

3D Face Modelling for Surgical Planning, Guidance and Assessment

Pears, N.

1/10/13 → 30/09/14

Project: Research project (funded) › Research

Cutting Edge Approaches for Pollution Assessment in Cities

Boxall, A. B. A. (Principal investigator), Bate, I. J. (Co-investigator), Burns, C. J. (Co-investigator), Carslaw, N. (Co-investigator), Chesmore, D. (Co-investigator), Cowling, P. I. (Co-investigator), Johnson, S. D. (Co-investigator), Lewis, A. (Co-investigator), Reed, D. J. (Co-investigator), Thomas-Oates, J. E. (Co-investigator) & Timmis, J. (Co-investigator)