Our paper Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs has been selected as Distinguished Paper at LICS 2022, the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Our paper Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs has been selected as Distinguished Paper at LICS 2022, the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Our paper Verifying Fairness in Quantum Machine Learning has been accepted at CAV’22, the 34th International Conference on Computer Aided Verification. This is the only one accepted work in the field of quantum computing at CAV’22
Latest Posts
Our papers Formal Verification of Quantum Ancilla Safety and Model Checking Matrix Product States Against Linear Chain Logic have been accepted at CAV 2026, the 38th International Conference on Computer Aided Verification.
Our paper QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits has been accepted at FM 2026, the 27th International Symposium on Formal Methods.
Our paper Optimal Mechanisms for Quantum Local Differential Privacy has been accepted at CCS 2025, the 32nd ACM Conference on Computer and Communications Security.