Contact

All Stories

  1. Tools for checking quantum programs are correct

    Article • ACM Transactions on Quantum Computing, October 2023, ACM (Association for Computing Machinery)

    Marco John Lewis

  2. Verification of Quantum Systems Using Barrier Certificates

    Article • January 2023, Springer Science + Business Media

    Marco John Lewis