Skip to main content

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.


Principal Investigator


Mathieu Huot
Doctoral Student
Hugo Paquet

Share this: