4 papers
High-level quantum algorithm programming using Silq
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani +1
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a…
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
Andrew Wright, Marco Lewis, Paolo Zuliani +1
Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for u…
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
We present SilVer (Silq Verification), an automated tool for verifying behaviors of quantum programs written in Silq, which is a high-level programming language for quantum computi…