• Databases and data provenance
• Programming languages and compilers
• Generic programming
• Logic and automated theorem proving
• Compression and information theory
• XML and related technologies

BS Computer Science and Mathematics, 1998, Carnegie Mellon University
MS Mathematics 1998, Carnegie Mellon University
PhD Computer Science, 2004, Cornell University

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.