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