Alex Rice
Research Associate
Research Interests:
Quantum Programming Languages
Quantum Compilation
My research has been focussed on programming languages, type systems, and tools for working with these, especially those of a non-standard nature. In particular, I have been interested in quantum computation and compilation and am researching how various programming language ideas can be applied to this domain. I now broadly work on creating new syntactic representations of quantum and hybrid computation, in order to make these programs easier to write, reason about, and optimise, and am also interested in methods of giving semantics to these programs.
Featured Publications: "Quantum circuits are just a phase": https://dl.acm.org/doi/10.1145/3776731 https://arxiv.org/abs/2507.11676
"Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs" https://arxiv.org/abs/2607.09605