当前位置: 师资队伍 >  国家杰青

傅育熙(2002)

[ 2011-09-06 ]

 


 

       1986年毕业于同济大学计算机系,获工学学士学位。

       1988年由国家教委公派到英国曼彻斯特大学计算机系攻读博士学位,师从著名计算机科学家David Rydeheard,研究方向为类型理论及其语义。

       1992年获博士学位,论文题为“类型理论中的语义问题”,考官由著名数理逻辑学家兼计算机科学家Peter Aczel和著名数学家兼计算机科学家Martin Hyland担任。

       1993年,曼彻斯特大学计算机系当研究助理,参与研究欧共体项目“CLICS-II”。

       1994年1月至今在上海交通大学计算机科学与工程系工作。

访问数量:
 a