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 a Masters in Mathematics and Computer Science at the University of Bristol.
News
[09/2025] New paper out on the arXiv, available at arxiv:2509.11678
[07/2025] Presentation at First Workshop on Verfication of Quantum Computing (VQC 2025 on recent work, paper to be released; also paper presented at QUASAR’25 by Viktorija Bezganovic, available at arxiv:2409.10231
[07/2025] Attended PhD graduation ceremony at Newcastle University
Publications
See my ORCID for up to date publications.
CV
Available at https://marco-lewis.github.io/files/cv.pdf