
コンピューティング科学
ド ミン カン 講師 DO Minh Canh
量子計算の形式手法に関する研究室
Laboratory on Formal Methods for Quantum Computing
Building a trustworthy quantum era through formal verification
キーワード:Formal Specification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information
学修分野:情報科学
詳しく見る










