Edinburgh Research Explorer
Profile photo

Willingness to take Ph.D. students: Yes

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 Royal Society University Research Fellow 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. 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.

Research outputs

  1. Language-integrated provenance

    Research output: Contribution to journalArticle

  2. Expressiveness benchmarking for system-level provenance

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Guest Editorial: The Provenance of Online Data

    Research output: Contribution to journalArticle

View all (127) »

Research projects

  1. GCHQ - RFA15088

    Project: Funded ProjectResearch

  2. GCHQ - RFA15088

    Project: Funded ProjectResearch

  3. LogiBlox Inc. Research Funding for Dr James Cheney

    Project: Funded ProjectResearch

View all (14) »

ID: 6550