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 This article was published on 2024-12-08
