Skip to main content
University of Edinburgh crest

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ándor Bartha (Data Science CDT student)
  • Dr. James Cheney (fearless leader)
  • Frank Emrich (PhD student)
  • Dr. Vashti Galpin (Postdoc)
  • Rudi Horn (Pervasive Parallelism CDT student)
  • Dr. Wilmer Ricciotti (Postdoc)
  • Dr. Jan Stolarek (Postdoc)

Past members

  • Dr. Sidahmed Benabderrahmane (Postdoc, now at New York University)
  • Dr. Ghita Berrada (Postdoc, now at King's College, London)
  • Dr. Arthur Chan (PhD, now postdoc at Heriot Watt University)
  • Dr. Stefan Fehrenbach (PhD, now at Proda)
  • Dr. Simon Fowler (Research Software Engineer, now at University of Glasgow)
  • Dr. Weili Fu (PhD, now at University of Freiburg)
  • Xavier Gombau (MSc, visiting from UPC, Barcelona)
  • Himan Mookherjee (MSc)
  • Dr. Roly Perera (Postdoc, now at The Alan Turing Institute)
  • Dr. James McKinna (now at Heriot-Watt University)

Positions available


Current projects

  • Programming foundations for trusted data science, UK National Physical Laboratory collaboration, (2019--2021)
  • Probabilistic property-based testing, joint with Vaishak Belle, PhD studentship funded by Huawei
  • Skye: A programming language bridging theory and practice for scientific data curation, funded by an ERC Consolidator Grant (2016-2021)

Past activities

Recent publications

For additional older provenance-related publications by us and other researchers in Edinburgh, see this page.

Last modified: Fri Oct 8 11:34:59 BST 2021 Accessibility statement