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.


[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

More news