About
I am a PhD Student in the Quantum Software Lab at the University of Edinburgh, supervised by Chris Heunen.
My research focuses on the co-design of quantum programming languages and their compilers.
My current interests are:
- Formalising common properties of quantum algorithms into primitives
- Modular, hardware-aware compilers for quantum computing
- Compiler frameworks like MLIR and xDSL
- Understanding concurrency in quantum programming
- Category theoretic approaches to quantum programming languages and foundations
- Linking all of these together to design usable and efficient quantum programming languages!