罗宾·米尔纳
近期热点
资料介绍
出生: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会士。标签: 计算机科学家
相关热点
最新收录
- 彩乃圣罗(彩乃せいら) 07-24
- 心阳希美(心陽のぞ美) 07-24
- 七绪绯美佳(七緒ひみか 07-24
- 阳野爱实(陽野めぐみ) 07-24
- 1818黄金眼郑女士 07-24
- 发际线男孩小吴 07-24
- 乔瓦尼·多梅尼科·马拉迪 07-24
- 夏尔-欧仁·德洛奈 07-23
- 板垣公一 07-23
- 平山清次 07-23