About me
I am a PhD student at Newcastle University, supervised by Sadegh Soudjani and Paolo Zuliani. My research area is the intersection between quantum computing and formal verification, where I am investigating how quantum programs can be verified using automated verification techniques.
Before starting my postgraduate studies at Newcastle University, I studied Mathematics and Computer Science at the University of Bristol.
News
[10/2023] Survey paper accepted in ACM Transactions on Quantum Computing; full paper available here.
[09/2023] Attended and paper presented at QEST 2023; the full paper can be found in the proceedings
[07/2023] Paper accepted for QEST 2023; the preprint can be found at arXiv:2307.07307