About me
I am a postdoc researcher in the QuaCS group with Inria located at Université Paris-Sacly. My research area is the intersection between quantum computing and formal verification, where I am investigating how different areas of the quantum stack can be verified using automated verification techniques.
Before starting my postdoc, I studied my PhD at Newcastle University under Sadegh Soudjani and Paolo Zuliani. Before that, I studied Mathematics and Computer Science at the University of Bristol.
News
[11/2024] Started at the QuaCS team with Inria at Université Paris-Sacly
[10/2024] Corrections accepted and thesis deposited; PhD completed!
[08/2024] New paper on arXiv: arxiv:2408.07591