热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
罗宾·米尔纳
2023-07-23 22:03
近期热点

资料介绍

罗宾·米尔纳:

出生:Arthur John Robin Gorell Milner(1934-01-13)1934年1月13日 英国普利茅斯亚姆顿(英语:Yealmpton)

逝世:2010年3月20日(2010岁—03—20)(76岁) 英国剑桥

知名于:计算机科学理论LCF(英语:LCF theorem prover)MLCCS(英语:Calculus of communicating systems)π-演算Hindley–Milner类型推论

奖项:图灵奖 (1991)FRSDFBCS(英语:Distinguished Fellow of the British Computer Society)FRSE外籍会员, NAE

科学生涯

研究领域:计算机科学

机构:伦敦大学城市学院斯旺西大学斯坦福大学爱丁堡大学剑桥大学

博士导师:无,因为米尔纳从未获得PhD学位

博士生:Mads Tofte (1988)Faron MollerChris ToftsDavide Sangiorgi (1993)


亚瑟·约翰·罗宾·葛瑞尔·米尔纳(英语:Arthur John Robin Gorell Milner,1934年1月13日—2010年3月20日),生于英国普利茅斯,计算机科学家。1991年获得图灵奖。他是英国皇家学会成员,爱丁堡皇家学会会员,ACM会士。

标签: 计算机科学家

相关热点

扫码添加好友