Bio

James Cheney is a Reader in the Laboratory for Foundations of Computer Science, University of Edinburgh. He earned his PhD at Cornell University in 2004, moved to Edinburgh as a postdoctoral researcher and in 2008 was awarded a Royal Society University Research Fellowship. He currently holds an ERC Consolidator Grant and his research has also been funded by Microsoft Research, Google, LogicBlox, the US Air Force Office of Scientific Research, DARPA, EPSRC and the National Cyber Security Centre Research Institute on Verified Trustworthy Software Systems.

Research interests

Dr Cheney's research spans topics in programming languages, databases, verification, and (recently) security. His main research interests relate to provenance and data curation and connected topics such as information flow and slicing in programming languages, cross-tier web and database programming, justification and explainability in databases, configuration management, or other complex systems, and mining or anomaly detection for security applications.