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

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 a Reader 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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.