博士。卢克翁（Ong）

计算机科学教授 计算机科学系 牛津大学 帕克斯路沃尔夫森大厦 牛津，OX1 3QD，英国 导师研究员，默顿学院，牛津

电子邮件： lo AT cs DOT ox DOT ac DOT uk 电话： +44 1865 283522（分布式控制系统） +44 1865 276310（默顿） 办公室： 沃尔夫森大厦340室

游客须知  牛津大学的时间和天气。

关键词：计算语义；游戏语义；验证与高阶模型检验；兰姆达微积分与类型理论；算法博弈论、计算证明理论和范畴逻辑；逻辑和计算复杂性；Internet路由协议。

生物|个人简历|出版物（DBLP）|研究|专业活动|会议|博士班学生|教学|个人的