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