Principled Foundations for Programming Languages
1st January 2015 to 31st March 2023
This project is a Royal Society University Research Fellowship which involves investigating semantics of programming languages from a foundational point of view.
The project has involved sub-grants: an ESPRC grant "Quantum computation as a programming language" (2015–2018), and a Royal Society Enhancement award "Classical control structures for quantum and probabilistic programs" (2017–2023). The fellowship was also awarded a three year extension, called "Principled foundations for probabilistic programming" (2020–2022), which centres around foundational questions for probabilistic programming for statistical modelling.