Li Zhou -

Registered user since Wed 29 Jan 2020

Name:Li Zhou

Country:China

Affiliation:Institute of Software, Chinese Academy of Sciences

Research interests:Quantum Programming, Formal Methods

Contributions

2027

POPL

Committee Member in Program Committee within the POPL-track

2026

PLanQC

Author of VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Minimal Intrusion within the PLanQC 2026-track

ESEC/FSE

Author of CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic schemes within the Research Papers-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

POPL

Author of An Expressive Assertion Language for Quantum Programs within the POPL-track

VMCAI

Committee Member in Program Committee within the VMCAI 2026-track

2025

PLDI

Author of Efficient Formal Verification of Quantum Error Correcting Programs within the PLDI Research Papers-track

WQS

Committee Member in Program Committee within the WQS 2025-track

Q-SE

PC Member in Program Committee within the Quantum SE-track

POPL

Author of Automating equational proofs in Dirac notation within the POPL-track

2024

WQS

2023

POPL

Author of CoqQ: Foundational Verification of Quantum Programs within the POPL-track

2020

SPLASH

POPL

Author of Relational Proofs for Quantum Programs within the Research Papers-track