Current Projects and Related Activities

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 of 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.

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