Who I am
I am a Royal Society
Research Fellow and Reader in the Laboratory for Foundations
of Computer Science, University of Edinburgh,
working in the areas of databases and programming languages.
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.
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
- 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
- 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 for configuration language security (Microsoft
Research), in collaboration with Paul Anderson (Edinburgh) and Dimitrios
provenance security (AFOSR EOARD, 2013-2018)
- Mechanized metatheory using Nominal Logic Programming (AlphaProlog), funded by the Royal
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