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

If you made any changes in Pure these will be visible here soon.

2 Active
17 Finished

19 results

Active

synchronized database wikis
Cheney, J.
Overseas Ind & Comm (Non Eu)
1/05/12 → …
Project: Research
Database Wikis
Cheney, J.
Overseas Ind & Comm (Non Eu)
1/02/11 → …
Project: Research
Finished
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
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 → 31/03/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 → 30/07/17
Project: Research
Skye-A programming language bridging theory and practice for scientific data curation
Cheney, J.
EU government bodies
1/09/16 → 31/08/22
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 Web (OTHER)
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
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
Mechanising metatheory with nominal logic programming
Cheney, J.
Other (Learned Society)
1/10/08 → 31/12/08
Project: Research
Nominal abstract syntax: automata, mechanised metatheory, and type theory
Cheney, J.
Other (Learned Society)
1/10/08 → 15/12/16
Project: Research