Marco John Lewis

All Stories

1. 
   Finding Photonics Circuits via $$\delta $$-Weakening SMT

   Article • January 2026, Springer Science + Business Media

   Marco John Lewis

2. 
   High-level quantum algorithm programming using Silq

   Article • July 2025, ACM (Association for Computing Machinery)

   Marco John Lewis

3. 
   Automated Verification of Silq Quantum Programs using SMT Solvers

   Article • July 2024, Institute of Electrical & Electronics Engineers (IEEE)

   Marco John Lewis

4. 
   T-Count Optimizing Genetic Algorithm for Quantum State Preparation

   Article • July 2024, Institute of Electrical & Electronics Engineers (IEEE)

   Marco John Lewis

5. 
   Tools for checking quantum programs are correct

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

   Marco John Lewis

6. 
   Verification of Quantum Systems Using Barrier Certificates

   Article • January 2023, Springer Science + Business Media

   Marco John Lewis