Active and recent research projects and connections to other research groups in Edinburgh and Scotland Current ProjectsEffect 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 activitiesThere 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 TrustDatabase GroupCompilers and Architecture Design (CARD) GroupStructured Parallelism GroupMathematical Reasoning Group (DReaM)Mathematically Structured Programming Group (Strathclyde)Scottish Programming Languages Seminar This article was published on 2024-12-08