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
Pages in this Program
Formal Verification of Quantum Ancilla Safety
Model Checking Matrix Product States Against Linear Chain Logic
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑