Postdoc researcher at QuaCS with Inria; researching quantum computing and formal verification
Verification of Silq quantum programs using SMT solvers.
