讲座预告 | 王全龙：范畴论、逻辑与量子计算系列讲座

逻辑与认知学术讲座

-讲座信息-

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

主讲人：王全龙 （牛津大学计算机系）

主持人：孙鑫 副研究员

时    间：2018年11月19-21日下午15:00-16:00

地    点：锡昌堂322室

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

-主要内容-

本系列讲座将由浅入深地介绍范畴论量子计算的起源、发展与前沿动态，着重介绍逻辑学方法在量子计算中的应用。我们先介绍范畴论的基础知识，然后基于范畴论的图形语言，我们发展出适用于量子计算的图形语言——ZX-演算。ZX-演算是一套公理化的图形语言，我们将介绍ZX-演算的范畴论和逻辑基础。

-主讲人简介-

王全龙，江西泰和人。2004年博士毕业于中国科学院研究生院应用数学专业。2018年博士毕业于牛津大学计算机系。现任牛津大学计算机系博士后。