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 

• From Data Types to Session Types.A Basis for Concurrency and Distribution (EPSRC)
• REMS: Rigorous Engineering for Mainstream Systems (EPSRC)
• Skye: A programming language bridging theory and practice for scientific data curation (ERC)  

Related activities

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

• Security and Privacy Group
• Links Group
• Database Group
• Compilers and Architecture Design (CARD) Group
• Structured Parallelism Group
• Mathematical Reasoning Group (DReaM) 
• Mathematically Structured Programming Group (Strathclyde)
• Scottish Programming Languages Seminar