Ji Guan
Ji Guan
Affiliation: Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences
Affiliation: Chinese Academy of Sciences
Talks
(CAV)
Formal Verification of Quantum Ancilla Safety · Quantum
(CAV)
Model Checking Matrix Product States Against Linear Chain Logic · Quantum
Pages in this Program
Program
Program on Wednesday, 29 July 2026
CAV on Wednesday, 29 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑