James Cheney studied computer science and mathematics at Carnegie Mellon University, receiving BS and MS degrees in 1998, and pursued graduate study at Cornell University, earning his PhD on the topic of nominal logic programming in 2004. Since 2004, he has been a member of the research staff of the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, first as a postdoctoral researcher and currently holding a Royal Society University Research Fellowship. His research interests span topics in programming languages, databases, and their broader applications to science.

Talks I've Given