学术活动
量子编程语言的范畴语义
2009-12-03
来源:科技处 点击次数:主讲人 :Bob Coecke教授(英国牛津大学计算实验)
时 间:12月3日(周四)晚上18:30-20:00
地 点:数学科学学院412 教室
备 注:报告人简介:Bob Coecke, 比利时人, 英国牛津大学计算实验室,量子计算机科学讲师,牛津大学Wolfson学院成员委员会委员,牛津大学Wolfson 学院管理委员会委员,牛津大学EPSRC高级研究员. 主要研究量子计算机科学中的High-level 方法;物理学的数学基础;序结构,范畴论和数理逻辑;信息语义学,动态认知逻辑,计算语义学等. 在这些领域发表有影响的学术论文60余篇, 编辑或出版学术专著6本,组织多个国际会议,在2003-2009年期间,先后做过100多次受邀报告,2004年被国际量子结构协会授予量子结构领域的卓越研究奖.