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
[01/2026] New paper out on the arXiv, available at arxiv:2601.14029
[01/2026] Presented our distinguished paper at VMCAI 2026! The paper is available at doi:10.1007/978-3-032-15700-3_7
[11/2025] Paper accepted at VMCAI 2026!
Publications
See my ORCID for up to date publications.
CV
Available at https://marco-lewis.github.io/files/cv.pdf