World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
41
Citations
9050
World Ranking
8698
National Ranking
528

Overview

James Cheney is affiliated with the University of Edinburgh in the United Kingdom and specializes in the field of Computer Science, with a substantial focus on subfields such as Computer Networks and Communications, Artificial Intelligence, Information Systems, Information Systems and Management, and Signal Processing.

The scientist's research covers a range of main topics, including:

  • Advanced Database Systems and Queries
  • Scientific Computing and Data Management
  • Semantic Web and Ontologies
  • Network Security and Intrusion Detection
  • Logic, Programming, and Type Systems
  • Anomaly Detection Techniques and Applications
  • Software Engineering Research

Cheney's publication record includes recent scholarly papers such as:

  • "A baseline for unsupervised advanced persistent threat detection in system-level provenance" (2020), published in Future Generation Computer Systems
  • "Lenses for Web Data" (2024), published by Technische Universität Berlin - Universitätsbibliothek
  • "A Formalization of SQL with Nulls" (2022), published in Journal of Automated Reasoning
  • "Cross-tier Web Programming for Curated Databases: a Case Study" (2020), published in International Journal of Digital Curation
  • "Hack me if you can: Aggregating autoencoders for countering persistent access threats within highly imbalanced data" (2024), published in Future Generation Computer Systems

Frequent coauthors collaborating with Cheney include:

  • Sidahmed Benabderrahmane
  • Wilmer Ricciotti
  • Sam Lindley
  • Simon Fowler
  • Petko Valtchev

The scientist's work has been regularly published in venues such as:

  • arXiv (Cornell University)
  • Lecture Notes in Computer Science
  • Future Generation Computer Systems
  • International Journal of Digital Curation
  • Proceedings of the ACM on Programming Languages

Best Publications

  • Cyclone: A Safe Dialect of C

    Trevor Jim;J. Greg Morrisett;Dan Grossman;Michael W. Hicks

  • Provenance in Databases: Why, How, and Where

    James Cheney;Laura Chiticariu;Wang-Chiew Tan

  • PROV-O: The PROV Ontology

    Timothy Lebo;Satya Sahoo;Deborah McGuinness;Khalid Belhajjame

  • Region-based memory management in cyclone

    Dan Grossman;Greg Morrisett;Trevor Jim;Michael Hicks

  • Provenance management in curated databases

    Peter Buneman;Adriane Chapman;James Cheney

  • PROV-DM: The PROV Data Model

    Khalid Belhajjame;Reza B'Far;James Cheney;Sam Coppens

  • A sequent calculus for nominal logic

    M. Gabbay;J. Cheney

  • Compressing XML with multiplexed hierarchical PPM models

    J. Cheney

  • First-Class Phantom Types

    James Cheney;Ralf Hinze

  • The W3C PROV family of specifications for modelling provenance metadata

    Paolo Missier;Khalid Belhajjame;James Cheney

  • Notions of Bidirectional Computation and Entangled State Monads

    Faris Abou-Saleh;James Cheney;Jeremy Gibbons;James McKinna

  • Curated databases

    Peter Buneman;James Cheney;Wang-Chiew Tan;Stijn Vansummeren

  • On the expressiveness of implicit provenance in query and update languages

    Peter Buneman;James Cheney;Stijn Vansummeren

  • On the expressiveness of implicit provenance in query and update languages

    Peter Buneman;James Cheney;Stijn Vansummeren

  • A lightweight implementation of generics and dynamics

    James Cheney;Ralf Hinze

  • Provenance: a future history

    James Cheney;Stephen Chong;Nate Foster;Margo Seltzer

  • The rationale of PROV

    Luc Moreau;Paul Groth;James Cheney;Timothy Lebo

  • PROV-O: The PROV ontology:W3C recommendation 30 April 2013

    Khalid Belhajjame;James Cheney;David Corsar;Daniel Garijo

  • A practical theory of language-integrated query

    James Cheney;Sam Lindley;Philip Wadler

  • YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts

    Timothy McPhillips;Tianhong Song;Tyler Kolisnik;Steve Aulenbach

  • αProlog: A Logic Programming Language with Names, Binding and α-Equivalence

    James Cheney;Christian Urban

Frequent Co-Authors

Peter Buneman
Peter Buneman University of Edinburgh
Philip Wadler
Philip Wadler University of Edinburgh
Michael Hicks
Michael Hicks University of Maryland, College Park
Simon Miles
Simon Miles King's College London
Dan Grossman
Dan Grossman University of Washington
Paul Groth
Paul Groth University of Amsterdam
Luc Moreau
Luc Moreau King's College London
Paolo Missier
Paolo Missier Newcastle University
Michael Benedikt
Michael Benedikt University of Oxford
Greg Morrisett
Greg Morrisett Cornell University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens the door to various related fields that offer flexible online learning. Many students diversify their skill set by considering specialized degrees that align with tech-driven industries.

Security is a growing concern, making an online master's degree cyber security program highly relevant. These degrees help prepare students for high-demand roles protecting data across multiple sectors.

For those interested in building and managing large-scale projects, an construction management degree combines technical knowledge with leadership skills. This pathway suits individuals aiming for project manager or consultant roles.

Various fields also require a strong understanding of regulations and finance. An criminal justice degree online cost is a popular query for those interested in law enforcement or public safety careers, while online accounting degree programs offer flexibility for those pursuing accountancy and financial analysis roles.

By pursuing related online degrees, you can expand your opportunities in tech, business, and administration—enhancing your potential career pathways in today’s digital landscape.

Best Scientists Citing James Cheney

Trending Scientists

Recently Published Articles