James Cheney – Projects — University of Edinburgh Research Explorer

View Scopus Profile

Phone + 44 (0) 131 651 5658
Emailjcheneyinf.ed.acuk
Websitehttp://homepages.inf.ed.ac.uk/jcheney/

Accepting PhD Students

23 results

Filter

Finished

IceCert: Provenance and temporal data management for digital calibration certificates
Cheney, J. & Galpin, V.
Royal Society
31/03/23 → 30/09/24
Project: Research
IceCert: Provenance and temporal data management for digital calibration certificates
Cheney, J.
31/03/23 → 30/06/24
Project: Research
The genome of Phasmarhabditis hermaphrodita and Phasmarhabditis sp
Patras, P., Blaxter, M., Buck, A., Cheney, J., Fowler, S., Sharma, Y. & Stolarek, J.
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. & Belle, V.
Huawei Technologies Co., Ltd.
1/09/19 → 28/02/23
Project: Research
Studentship in property-based testing
Cheney, J. & Belle, V.
Non-EU industry, commerce and public corporations
1/09/19 → 31/08/22
Project: Research
Turing Fellowship
Cheney, J.
UK-based charities
1/09/18 → 31/08/20
Project: Research
LogiBlox Inc. Research Funding for Dr James Cheney
Cheney, J.
Non-EU industry, commerce and public corporations
1/09/17 → 31/08/21
Project: Research
Mechanising the metatheory of SQL with NULLS
Ricciotti, W. & Cheney, J.
UK central government bodies/local authorities, health and hospital authorities
1/08/17 → 31/03/18
Project: Research
GCHQ - RFA15088
Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.
UK central government bodies/local authorities, health and hospital authorities
1/11/16 → 30/07/17
Project: Research
GCHQ - RFA15088
Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.
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.
EU government bodies
1/09/16 → 28/02/23
Project: Research
Skye: A programming language bridging theory and practice for scientific data curation
Cheney, J.
European Commission
1/09/16 → 28/02/23
Project: Research
A Diagnostics Approach to Persistent Threat Detection (ADAPT)
Cheney, J.
Non-EU other
26/06/15 → 30/06/19
Project: Research
Provenance for configuration Language Security
Cheney, J.
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., Buneman, P. & Cheney, J.
EU government bodies
1/04/13 → 31/03/16
Project: Research
DIACHRON - Managing the Evolution and Preservation of the Data Webb (RTD)
Viglas, S., Buneman, P. & Cheney, J.
EU government bodies
1/04/13 → 31/03/16
Project: Research
DIACHRON - Managing the Evolution and Preservation of the Data Web (OTHER)
Viglas, S., Buneman, P. & Cheney, J.
EU government bodies
1/04/13 → 31/03/16
Project: Research
A Theory of Least Change for Bidirectional Transformations
Stevens, P., Cheney, J. & Mckinna, J.
EPSRC
15/03/13 → 1/12/16
Project: Research
Foundations of language-based provenance security
Cheney, J.
Non-EU other
1/01/13 → 30/06/18
Project: Research
synchronized database wikis
Cheney, J.
Overseas Ind & Comm (Non Eu)
1/05/12 → 30/04/13
Project: Research
Database Wikis
Cheney, J.
Overseas Ind & Comm (Non Eu)
1/02/11 → 31/01/12
Project: Research
Nominal abstract syntax: automata, mechanised metatheory, and type theory
Cheney, J.
Other (Learned Society)
1/10/08 → 15/12/16
Project: Research
Mechanising metatheory with nominal logic programming
Cheney, J.
Other (Learned Society)
1/10/08 → 31/12/08
Project: Research