Scholar
James Cheney
Google Scholar ID: G-1f1G4AAAAJ
Professor, Laboratory for Foundations of Computer Science, University of Edinburgh
Citations & Impact
Citations
2,924
H-index
25
i10-index
47
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Led multiple major research projects, including:
- ERC Consolidator Grant: 'Skye: A programming language for scientific data curation' (2016–2023)
- DARPA Transparent Computing program: ADAPT project (2015–2019)
- Google Research Award: Foundations of Language-Integrated Query and Language-Integrated Provenance
- Royal Society-funded project on Mechanized Metatheory using Nominal Logic Programming (AlphaProlog, 2008–2016)
- EU FP7 project DIACHRON: Provenance and Archiving for Linked Data
- Member of the W3C Provenance Interchange Working Group
- Collaborated with Oxford, Microsoft Research, Galois, Inc., and others
Research Experience
- Postdoctoral Research Associate in the Database Group (2004–2008)
- Involved with the Digital Curation Centre
- Organized a Theme Program on Principles of Provenance at the eScience Institute (2008–2009)
- Currently open to supervising PhD students (without immediate funding)
- Taught courses including Elements of Programming Languages, Logic Programming, Distributed Systems, and Database Theory
Background
- Personal Chair of Programming Languages and Systems at the University of Edinburgh
- Member of the Laboratory for Foundations of Computer Science (LFCS)
- Research areas: databases, programming languages, data provenance, security and privacy
- Leads the Principles of Provenance research group
- Turing Fellow from September 2018 to September 2023
- Visiting Researcher at King's College London (2018–2020)
- Held a Royal Society University Research Fellowship (2008–2016)
Co-authors