名师简介
个人简介
1981年9月--1986年6月，同济大学计算机本科生 1986年9月--1988年3月，同济大学计算机硕士生 1988年4月，由国家教委公派到英国曼彻斯特大学(Manchester University)计算机系攻读博士学位，导师是David Rydeheard，研究领域是理论计算机科学，专攻类型理论和范畴语义 1992年10月，获博士学位，论文题目为“类型理论中的语义问题”。考官是著名数理逻辑学家Peter Aczel和著名数学家Martin Hyland
同校名师
网友关注
网友关注视频