Current Projects and Related Activities

Active and recent research projects and connections to other research groups in Edinburgh and Scotland

Current Projects

  • Effect Handler Oriented Programming (UKRI)
  • Effectful theories of programming languages: models, abstractions, validation, and axiomatics (Royal Society)
  • Combining Viewpoints in Quantum Theory (EPSRC)
  • Type-driven data-science infrastructure for Idris2 (VeTSS/NCSC)
  • Morello: Digital Security by Design Technology Platform Prototype (UKRI)

  • IceCert: Provenance and temporal data management for digital calibration certificates (Royal Society)


Recent Projects 


Related activities

There is a great deal of research activity related to programming languages in LFCS, elsewhere at Edinburgh University, and in Scotland.