Principles of Provenance group

Provenance refers to information about the source, origin, derivation or authorship of data. It has deep connections to topics such as program slicing, causality, explanation, and information flow security. The Principles of Provenance group performs fundamental research on provenance as well as principled system development.


  • Sánor Bartha (Data Science CDT student)
  • Dr. Sidahmed Benabderrahmane (Postdoc)
  • Dr. Ghita Berrada (Postdoc)
  • Arthur Chan (PhD student)
  • Dr. James Cheney (fearless leader)
  • Frank Emrich (PhD student)
  • Weili Fu (PhD student)
  • Stefan Fehrenbach (PhD student)
  • Rudi Horn (Pervasive Parallelism CDT student)
  • Himan Mookherjee (Data Science CDT student)
  • Dr. Roly Perera (Postdoc)
  • Dr. Wilmer Ricciotti (Postdoc)
  • Dr. Jan Stolarek (Postdoc)

Positions available


Current projects

  • Skye: A programming language bridging theory and practice for scientific data curation, funded by an ERC Consolidator Grant (2016-2021)
  • A Diagnostics Approach to Advanced Persistent Threat Prevention (ADAPT), in collaboration with Galois, Inc., Xerox PARC, and Oregon State University, funded by DARPA's Transparent Computing research program
  • Language-integrated provenance, funded by a Google Research Award
  • Provenance for configuration language security (Microsoft Research), in collaboration with Paul Anderson (Edinburgh) and Dimitrios Vytiniotis (MSR)
  • Language-based provenance security (AFOSR EOARD)

Past activities

Recent publications

For a more complete listing of provenance-related publications by us and other researchers in Edinburgh, see this page.

Last modified: Wed Mar 21 09:40:57 GMT 2018