Who I am
I am a Reader in the Laboratory for Foundations
of Computer Science, University of Edinburgh,
working in the areas of databases
languages. I am also a member of the Security and
Privacy group in Informatics. I lead the Principles of
Provenance group. From September 2018 I am a Turing Fellow and from
2018-2020 I was a Visiting Researcher at King's
From October 2008 until December 2016 I held a Royal Society
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.
I earned my PhD in Computer
Science at Cornell University in August 2004.
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. I have a BS in Computer Science and Mathematics (May 1998) and
MS in Mathematics (August 1998) from Carnegie Mellon University.
Before that I lived in Wisconsin, land of cheese.
I maintain a research blog, which is updated sporadically.
Right now I am not looking for new students, but the
following links are relevant if you are interested in PhD study in PL
My research interests include:
- Databases and data provenance
- Programming languages and compilers
- Generic programming
- Logic and automated theorem proving
- Compression and information theory
- XML and related technologies
Current research team
Please see my research group page.
- Skye: A programming language bridging theory and practice
for scientific data curation, funded by an ERC Consolidator
- Declarative Programming for Data
Science, studentship in the Edinburgh Centre for Doctoral
Training in Data Science, co-funded by LogicBlox, Inc.
- A Diagnostics Approach to Advanced Persistent Threat
Prevention (ADAPT), in collaboration with Galois, Inc., Xerox
PARC, and Oregon State University, funded by DARPA's
Transparent Computing research program (2015-2019)
- Foundations of Language-Integrated
Query, including work on language-integrated
provenance funded by a Google Research Award
- Provenance for configuration language security (Microsoft
Research), in collaboration with Paul Anderson (Edinburgh) and Dimitrios
- A Theory of Least Change for Bidirectional Transformations
(EPSRC), in collaboration with Perdita Stevens,
and James McKinna (Edinburgh) and Jeremy Gibbons (Oxford) (2013-2016)
provenance security (AFOSR EOARD, 2013-2018)
- Mechanized metatheory using Nominal Logic Programming (AlphaProlog), funded by the Royal
- DIACHRON: Provenance and archiving for Linked Data (EU
- XML update languages, static analysis, and typechecking (in
collaboration with Michael Benedikt, Oxford)
- I was a member of the W3C Provenance Interchange Working
Group. I helped present a recent tutorial
on this at EDBT 2013 (paper),
together with Paolo Missier and Khalid Belhajjame.
- Formalizations of XQuery, LF, simple nominal type
theory, and adequacy for higher-order abstract
syntax using the nominal datatype
package, joint with Christian Urban and Stefan Berghofer
Database Wiki system (funded by Google Research Awards and
University of Edinburgh support).
jcheney at inf dot ed dot ac dot uk
07891 708 737 (M)
0131 651 5658 (O)
||Informatics Forum 5.29
Laboratory for Foundations of Computer Science
School of Informatics
10 Crichton Street
Last modified: Fri Oct 16 13:27:11 BST 2020