Research output per year
Research output per year
Personal profile
Research Interests
- Databases and data provenance
- Programming languages and compilers
- Generic programming
- Logic and automated theorem proving
- Compression and information theory
- XML and related technologies
Qualifications
BS Computer Science and Mathematics, 1998, Carnegie Mellon University
MS Mathematics 1998, Carnegie Mellon University
PhD Computer Science, 2004, Cornell University
Biography
I am Personal Chair of Programming Languages and Systems in the Laboratory for Foundations of Computer Science, University of Edinburgh, working in the areas of databases and programming languages. From October 2008 to December 2016 I held a Royal Society University Research Fellowship. From September 2004 until October 2008 I was a postdoctoral research associate in the Database Group. I have also been involved with the Digital Curation Centre and during 2008-2009 I organized a Theme Program on Principles of Provenance for the eScience Institute. From January to May 2003 I visited Cambridge University's Computer Laboratory. In the summer of 2001 I worked at Intertrust on a summer internship.
Fingerprint
Dive into the research topics where James Cheney is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Hack me if you can: Aggregating AutoEncoders for countering persistent access threats within highly imbalanced data
Benabderrahmane, S., Hoang, N., Valtchev, P., Cheney, J. & Rahwan, T., Nov 2024, In: Future Generation Computer Systems. 160, p. 926-941 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Eris: Measuring discord among multidimensional data sources
Abelló, A. & Cheney, J., 1 Mar 2024, In: VLDB Journal. 33, 2, p. 399-423 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Language-Integrated Query for Temporal Data
Fowler, S., Galpin, V. & Cheney, J., 1 Dec 2022, Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . Scholz, B. & Kameyama, Y. (eds.). ACM Association for Computing Machinery, p. 5-19 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
A Formalization of SQL with Nulls
Ricciotti, W. & Cheney, J., 1 Nov 2022, In: Journal of Automated Reasoning. 66, 4, p. 989-1030 42 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Nominal Matching Logic
Cheney, J. & Fernández, M., 20 Sept 2022, Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM Association for Computing Machinery, 20 p. 5Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
-
IceCert: Provenance and temporal data management for digital calibration certificates
31/03/23 → 30/09/24
Project: Research
-
IceCert: Provenance and temporal data management for digital calibration certificates
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
-
-
Studentship in property-based testing
Non-EU industry, commerce and public corporations
1/09/19 → 31/08/22
Project: Research