Welcome to |QuantumFIT>

Quantum Computing Systems Research Group

Our Team Publications

Our Focus

Verification: Checking a quantum circuit or program against a pre-/post-condition specification, or searching it for bugs, without ever enumerating individual quantum states.
Simulation: Symbolic execution over MTBDDs with loop summarization, so a repeated block of gates is analysed once rather than unrolled.
Foundations: The automata and logic underneath: tree automata and their level-synchronized extension, omega-automata, logic and SMT solving.

Team

Meet the people working on quantum computing and quantum software engineering.

Explore

Publications

Our journal articles, conference papers, and other publications.

Explore

News

Recent updates and announcements from the group.

Explore

Latest News

Parameterized verification of quantum circuits accepted at POPL'26

2025.11.10 publication

The paper “Parameterized Verification of Quantum Circuits” was accepted at POPL'26 in Rennes, France, to appear in PACMPL 10 (POPL).

Quantum circuit verification in Communications of the ACM

2025.05.29 publication

The paper “An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits” appeared in the June 2025 issue of Communications of the ACM, volume 68 issue 6, pages 85–93.

Quantum program verification accepted at TACAS'25

2024.12.23 publication

The paper “AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs” was accepted at TACAS'25 in Hamilton, Canada. It extends AutoQ from verifying quantum circuits to verifying quantum programs.

Stay up to date with our latest publications and announcements.

View All News