牛津大学计算机科学系

菲利普·萨维尔

菲利普萨维尔

研究助理

电子邮箱：philip.saville@cs.ox.ac.uk

沃尔夫森大厦,牛津公园路OX1 3QD

主题：

编程语言

另请参阅：

个人网页（外部）

利益

范畴理论及其在理论计算机科学中的应用，围绕但不限于指称语义、编程语言理论和范畴泛代数。请参阅我的个人网页以获取所选演讲的预印本和幻灯片。

活动

编程语言基础

项目

基于代数效应的量子编程

监督人

萨姆·斯塔顿

返回页首