Home

Publications

Presentations

Programs

Who I am

I am a research scientist in the Laboratory for Foundations of Computer Science, University of Edinburgh, working in the areas of databases and programming languages. I now hold a Royal Society University Research Fellowship, which commenced October 2008.

From September 2004 until March 2009 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.

Note to prospective research students: I currently do not have the ability to support or sponsor visiting students. Unsolicited requests for summer internships will be ignored.

Teaching

• Fall 2009: Logic Programming
• Fall 2006: Database Theory Postgraduate Course
• Fall 2005: Database Theory Postgraduate Course

Research

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 projects

• Formalizations of LF and simple nominal type theory using the nominal datatype package
• Logic programming in Nominal Logic (AlphaProlog)
• Provenance and preservation models for digital libraries and scientific databases
• XML update languages and typechecking

Professional Activities

• IPAW 2010, PC member
• Haskell Symposium 2010 (collocated with ICFP 2010), PC member
• W3C Provenance Incubator Group, member
• Workshop on Updates in XML (collocated with EDBT/ICDT 2010), PC member
• ICFP 2010, PC member
• Workshop on Semantic Web Provenance Management, PC member

Contact information

E-mail:	jcheney at inf dot ed dot ac dot uk
Phone:	07891 708 737 (M) 0131 651 5658 (O)
Address:	Informatics Forum 4.14 Laboratory for Foundations of Computer Science School of Informatics 10 Crichton Street Edinburgh EH8 9AB Scotland, UK