Contact

All Stories

  1. Some Results on Causal Modalities in General Spacetimes

    Article • Electronic Proceedings in Theoretical Computer Science, June 2026, Open Publishing Association

    Marco John Lewis

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

    Article • January 2026, Springer Science + Business Media

    Marco John Lewis

  3. High-level quantum algorithm programming using Silq

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

    Marco John Lewis

  4. Automated Verification of Silq Quantum Programs using SMT Solvers

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

    Marco John Lewis

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

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

    Marco John Lewis

  6. Tools for checking quantum programs are correct

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

    Marco John Lewis

  7. Verification of Quantum Systems Using Barrier Certificates

    Article • January 2023, Springer Science + Business Media

    Marco John Lewis