该项目是英国皇家学会大学研究奖学金，涉及研究编程语言的语义从基础的角度来看。
该项目涉及次级拨款：ESPRC拨款“量子计算作为程序设计语言“（2015–2018）和皇家学会增强奖”经典控制结构用于量子和概率程序“（2017–2023）。该研究金还获得了三年的延期，称为”概率规划的原则基础“（2020–2022），围绕基本问题用于统计建模的概率编程。
