James Cheney

Finished

IceCert: Provenance and temporal data management for digital calibration certificates

Cheney, J. (Principal Investigator) & Galpin, V. (Co-investigator)

Royal Society

31/03/23 → 30/09/24

Project: Research

IceCert: Provenance and temporal data management for digital calibration certificates

Cheney, J. (Principal Investigator)

31/03/23 → 30/06/24

Project: Research

The genome of Phasmarhabditis hermaphrodita and Phasmarhabditis sp

Patras, P. (Principal Investigator), Blaxter, M. (Co-investigator), Buck, A. (Co-investigator), Cheney, J. (Co-investigator), Fowler, S. (Co-investigator), Sharma, Y. (Co-investigator) & Stolarek, J. (Co-investigator)

UK-based charities, Non-EU industry, commerce and public corporations, UK industry, commerce and public corporations

14/10/19 → 31/12/22

Project: Research

Probabilistic Property-Based Testing

Cheney, J. (Principal Investigator) & Belle, V. (Co-investigator)

Huawei Technologies Co., Ltd.

1/09/19 → 28/02/23

Project: Research

Studentship in property-based testing

Cheney, J. (Principal Investigator) & Belle, V. (Co-investigator)

Non-EU industry, commerce and public corporations

1/09/19 → 31/08/22

Project: Research

Turing Fellowship

Cheney, J. (Principal Investigator)

UK-based charities

1/09/18 → 31/08/20

Project: Research

LogiBlox Inc. Research Funding for Dr James Cheney

Cheney, J. (Principal Investigator)

Non-EU industry, commerce and public corporations

1/09/17 → 31/08/21

Project: Research

Mechanising the metatheory of SQL with NULLS

Ricciotti, W. (Principal Investigator) & Cheney, J. (Co-investigator)

UK central government bodies/local authorities, health and hospital authorities

1/08/17 → 31/03/18

Project: Research

GCHQ - RFA15088

Aspinall, D. (Principal Investigator), Cheney, J. (Co-investigator), Gascon Caro, A. (Co-investigator), Grot, B. (Co-investigator), Sarkar, R. (Co-investigator), Vaniea, K. (Co-investigator) & Wolters, M. (Co-investigator)

UK central government bodies/local authorities, health and hospital authorities

1/11/16 → 30/07/17

Project: Research

GCHQ - RFA15088

Aspinall, D. (Principal Investigator), Cheney, J. (Co-investigator), Gascon Caro, A. (Co-investigator), Grot, B. (Co-investigator), Sarkar, R. (Co-investigator), Vaniea, K. (Co-investigator) & Wolters, M. (Co-investigator)

UK central government bodies/local authorities, health and hospital authorities

1/11/16 → 31/03/17

Project: Research