报告题目: Formal Verification of Quantum Protocols报 告 人:邓玉欣 教授报告时间:2022年9月27日(星期二)15:00-17:00腾讯会议:133-192-704报告内容: We introduce two formal methods of verifying quantum communication protocols. One is to take advantage of quantum ......
文章浏览阅读926次。岳晓冬Department School of ComputerEngineering and ScienceTitle associate professorEmail yswantfly(at)shu.edu.cnProfileDr. Xiaodong Yue isan associate professor in the School of Computer Engineering &......