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

More news