讲座预告 | Ross Duncan：范畴论、逻辑与量子计算系列讲座

逻辑与认知学术讲座

-讲座信息-

报告题目：范畴论、逻辑与量子计算系列讲座

主讲人：Ross Duncan 

            （University of Strathclyde）

主持人：孙鑫 副研究员

时    间：2018年11月22-23日

               下午15:00-16:00

地    点：锡昌堂322室

主办单位：中山大学逻辑与认知研究所

-主要内容-

本系列讲座将由浅入深地介绍范畴论量子计算的起源、发展与前沿动态，着重介绍逻辑学方法在量子计算中的应用。我们首先证明ZX-演算的公理化系统具有通用性、可靠性和完全性。然后，我们展示ZX-演算在量子计算和量子密码学中的广泛应用。

-主讲人简介-

Ross Duncan, 2007年博士毕业于牛津大学计算机系，现任思克莱德大学（University of Strathclyde）计算机与信息科学学院研究员，剑桥量子计算有限公司（Cambridge Quantum Computing Ltd）量子软件部主任研究员。