Marco Lewis

Postdoc researcher at QuaCS with Inria; researching quantum computing and formal verification