SilVer: Silq Verification
Verification of Silq quantum programs using SMT solvers.
Posts by Collection
portfolio
publications
Verification of Quantum Systems using Barrier Certificates
M. Lewis, P. Zuliani, S. SoudjaniPublished in Quantitative Evaluation of Systems (QEST), 2023
PDF | DOI
Formal Verification of Quantum Programs: Theory, Tools and Challenges
M. Lewis, S. Soudjani, P. ZulianiPublished in ACM Transactions of Quantum Computing, Just Accepted, 2023
PDF | DOI
Automated Verification of Silq Quantum Programs using SMT Solvers
M. Lewis, P. Zuliani, S. SoudjaniPublished in Quantum Software (QSW), 2024
PDF | DOI
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
M. Lewis, P. Zuliani, S. SoudjaniPublished in Quantum Software (QSW), 2024
PDF | DOI
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Demonstrator/Teaching Assistant
Undergraduate courses, Newcastle University, School of Computing, 2021
Demonstrated in labs for numerous courses at Newcastle University’s School of Computing.