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
[07/2026] Paper presented at AiML 2026, the published version is available at doi:10.4204/EPTCS.447.33 and the slides are available here
[04/2026] Paper accepted at AiML 2026!
[01/2026] New paper out on the arXiv, available at arxiv:2601.14029
Publications
See my ORCID for up to date publications.
CV
Available at https://marco-lewis.github.io/files/cv.pdf