Projects per year
Projects
- 23 Finished
Search results
-
Finished
IceCert: Provenance and temporal data management for digital calibration certificates
Cheney, J. (Principal Investigator) & Galpin, V. (Co-investigator)
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)
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
-
-
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
-
Skye: A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
1/09/16 → 28/02/23
Project: Research
-
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J. (Principal Investigator)
1/09/16 → 28/02/23
Project: Research
-
A Diagnostics Approach to Persistent Threat Detection (ADAPT)
Cheney, J. (Principal Investigator)
26/06/15 → 30/06/19
Project: Research
-
Provenance for configuration Language Security
Cheney, J. (Principal Investigator)
UK industry, commerce and public corporations
1/09/14 → 31/12/17
Project: Research
-
DIACHRON - Managing the Evolution and Preservation of the Data Webb (RTD)
Viglas, S. (Principal Investigator), Buneman, P. (Co-investigator) & Cheney, J. (Co-investigator)
1/04/13 → 31/03/16
Project: Research
-
DIACHRON - Managing the Evolution and Preservation of the Data Webb (RTD)
Viglas, S. (Principal Investigator), Buneman, P. (Co-investigator) & Cheney, J. (Co-investigator)
1/04/13 → 31/03/16
Project: Research
-
DIACHRON - Managing the Evolution and Preservation of the Data Web (OTHER)
Viglas, S. (Principal Investigator), Buneman, P. (Co-investigator) & Cheney, J. (Co-investigator)
1/04/13 → 31/03/16
Project: Research
-
A Theory of Least Change for Bidirectional Transformations
Stevens, P. (Principal Investigator), Cheney, J. (Co-investigator) & Mckinna, J. (Co-investigator)
15/03/13 → 1/12/16
Project: Research
-
Foundations of language-based provenance security
Cheney, J. (Principal Investigator)
1/01/13 → 30/06/18
Project: Research
-
-
-
Mechanising metatheory with nominal logic programming
Cheney, J. (Principal Investigator)
1/10/08 → 31/12/08
Project: Research
-
Nominal abstract syntax: automata, mechanised metatheory, and type theory
Cheney, J. (Principal Investigator)
1/10/08 → 15/12/16
Project: Research