4月17日下午，悉尼科技大学副教授冯元、博士(后)谢明修应邀为数学与信息科学学院师生作了两场精彩的学术报告。

冯远以“量子马尔科夫链的模型检测”为题，阐述该模型检测在经典密码协议中的有效性。他说，为了克服该模型检测在量子系统应用中的困难，研究引入量子马尔科夫链，量子效能被编译为超算子标记转换从而使得局域信息经典化。通过定义量子版本的概率计算树逻辑（PCTL）的同时，发展了有效地量子马尔科夫链的模型检测算法。

谢明修讲解的主题是“逼近分辨和可区分范式中的一个严格的分层”。他说，考虑到任意小的错误概率通过局部操作和经典通信（LOCC）区分量子态的问题，其中最典型的例子就是对于对称态的区分，目前他们的研究解决了这个领域的一些问题。

两场精彩报告引起了与会师生的极大兴趣，师生受益匪浅。学院党总支书记张同琦对二位专家表示感谢，强调将举办多场高层次学术报告，营造良好的学术研究和学术交流氛围。（通讯员  李建锋）