1991 罗宾·米尔纳(Robin Milner)

Robin Milner(13 January 1934 – 20 March 2010) Introduction :

  Milner was born in Yealmpton, near Plymouth, England into a military family. He was awarded a scholarship to Eton College in 1947, and subsequently served in the Royal Engineers, attaining the rank of Second Lieutenant. He then enrolled at King's College, Cambridge, graduating in 1957. Milner first worked as a schoolteacher then as a programmer at Ferranti, before entering academia at City University, London, then Swansea University, Stanford University, and from 1973 at the University of Edinburgh, where he was a co-founder of the Laboratory for Foundations of Computer Science (LFCS). He returned to Cambridge as the head of the Computer Laboratory in 1995 from which he eventually stepped down, although he was still at the laboratory. From 2009, Milner was a SICSA Advanced Research Fellow and held (part-time) the Chair of Computer Science at the University of Edinburgh.

  Milner died of a heart attack on 20 March 2010 in Cambridge. His wife, Lucy, died shortly before him.

  Robin Milner于1934年出生于Plymouth, 他是英国皇家学会成员,ACM会士。1952年,Milner毕业于剑桥大学King学院。剑桥大学毕业后,Milner先后就职于Ferranti公司,伦敦城市大学,Swansea大学,斯坦福大学。1973年,就任与University of Edinburgh. 1995年,Milner回到剑桥大学计算机实验室出任教授。

  1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面,米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型,实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算(concurrentcomputing)和并行计算(parallelcomputing)。

Awards Time:

  1991年。第二十六位图灵奖 (1991年) 获得者 。

Honors and awards:

  Milner is generally regarded as having made three major contributions to computer science. He developed LCF, one of the first tools for automated theorem proving. The language he developed for LCF,ML, was the first language with polymorphic type inference and type-safe exception handling. In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the pi-calculus. At the time of his death, he was working on bigraphs, a formalism for ubiquitous computing subsuming CCS and the pi-calculus. He is also credited for rediscovering the Hindley–Milner type system.

  由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。

  He was made a Fellow of the Royal Society in 1988 and received the ACM Turing Award in 1991. In 1994 he was inducted as a Fellow of the ACM. In 2004, the Royal Society of Edinburgh awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale". In 2008, he was elected a Foreign Associate of the National Academy of Engineering for "fundamental contributions to computer science, including the development of LCF, ML, CCS, and the pi-calculus."

图灵奖引用(Turing Award Citation) :

Citation

For three distinct and complete achievements:

1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction;

2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism;

3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

    

( 授 予 Robin Milner 图 灵 奖 以 表 彰 其 在 ) 三个研究领域的杰出的和完整性的成就:

1. LCF, 一个(Dana Scott)的可计算函数逻辑(Logic of Computable Functions)的实现机制,(可能)是第一个理论上和实践上都具备的计算机证明(数学)定理的工具。

2. ML, 第一个具有多态的类型推理和具有安全类型的异常处理机制的(编程)语言。

3. CCS, 一个并发系统的综合理论。

另外,Robin Milner在operational 和denotational的语义关系方面进行了公式化的描述和深入的研究。

1992 Butler W. Lampson

Butler W. Lampson(1943--)简介 :

  Butler W. Lampson (born December 23, 1943) is an American computer scientist contributing to the development and implementation of distributed, personal computing. He is a Technical Fellow at Microsoft and an adjunct professor at MIT.

Lampson出生于1943年。1964年Lampson从哈佛大学获得其物理学士学位。1967年从UC Berkeley获得其电子工程与计算机科学的博士学位。

60年代,Lampson加入了UC Berkeley得GENIE项目。1965年,与Peter Deutsch一道,开发了SDS 940操作系统。

1970年,Lampson参与组建了著名的XEROX PARC研发中心。Lamson任职于举世闻名的计算机科学实验室(Computer Science Laboratory CSL)。

在PARC CSL工作其间,Lampson在个人计算机的发明领域做出了极大的贡献,并且是XEROX的D系列计算机的主要贡献者之一。

另外,Lampson也参与了许多PARC的著名的项目和发明工作,例如,激光打印机,WYSIWYG(所见即所得),以太网(Ethernet),局域网(Local Area Network),程序设计语言等等。

80年代,Lampson离开XEROX PAR,加入了DEC(digital Equipment Corporation),目前,Lampson任职于Microsoft的研发中心,同时Lampson也是MIT的兼职教授。

Awards Time:

  1991年。第二十七位图灵奖 (1991年) 获得者 。

Honors and awards:

  由于在个人分布式计算机系统及其实现技术上的贡献,这包括:工作站、网络、操作系统、编程系统、显示、安全和文档发布。

图灵奖引用(Turing Award Citation) :

Citation

For contributions to the development of distributed, personal computing environments and the technology for their implementation: workstations, networks, operating systems, programming systems, displays, security and document publishing.

    

( 授予Butler W. Lampson 图灵奖以表彰其在)分布式计算环境,个人计算环境的研发和实现技术,其中包括:工作站,网络,操作系统,程序语言,(计算机)显示,(计算机)安全和(计算机)文档排版处理等。

 

Lampson是著名的XEROX PARC研发中心的创建者之一。通常认为,Lampson与其XEROX PARC的同事是第一个个人计算机的研发者。1972年,Lampson写下一个备忘录“Why Alto?”,被认为是个人计算机的一个早期的前瞻性的文献。

【Turing Award】Robin Milner And Butler W. Lampson的更多相关文章

  1. 【系统设计】论文总结之:Butler W. Lampson. Hints for computer system design

    Butler W. Lampson. Hints for computer system design. ACM Operating Systems Rev. 15, 5 (Oct. 1983), p ...

  2. 第十六届“二十一世纪的计算”学术研讨会 图灵奖获得者Butler W. Lampson主题演讲

    Personal Control of Digital Data 图灵奖获得者Butler W. Lampson主题演讲" title="第十六届"二十一世纪的计算&qu ...

  3. 【15.93%】【codeforces 672D】Robin Hood

    time limit per test1 second memory limit per test256 megabytes inputstandard input outputstandard ou ...

  4. 【CPLUSOJ】【USACO】【差分约束】排队(layout)

    [题目描述] Robin喜欢将他的奶牛们排成一队.假设他有N头奶牛,编号为1至N.这些奶牛按照编号大小排列,并且由于它们都很想早点吃饭,于是就很可能出现多头奶牛挤在同一位置的情况(也就是说,如果我们认 ...

  5. 【Ruby】【高级编程】面向对象

    # [[面向对象]]#[实例变量]=begin实例变量是类属性,它们在使用类创建对象时就编程对象的属性.每个对象的属性是单独赋值的,和其他对象之间不共享.在类的内部,使用@运算符访问这些属性,在类的外 ...

  6. 【最大化平均值】POJ3111-K Best

    [题目大意] 给出v[]和w[],求的最大值. [思路] 二分s(S)的值,可变形为s(S)*Σw>=Σv,所以只需要把求出x*w[i]-v[i],看看前k个的和是否大于等于0,大于等于0就满足 ...

  7. 【HICP Gauss】数据库 环境的搭建 -1

    1.安装规则    1.主机名必须网络唯一  2.主机名必须两位数以上 可以中划线 不能下划线  3.固定IP地址  4.端口号 1888 新增账户 omm 用户组 dbgrp ,家目录 /home/ ...

  8. 历届图灵奖 (Turing award)得奖名单

    历届图灵奖 (Turing award)得奖名单 一.总结 一句话总结:各个方面都有. 二.历届图灵奖 (Turing award)得奖名单 Turing奖最早设立于1966年,是美国计算机协会在计算 ...

  9. 【推荐分享】大量JavaScript/jQuery电子书籍教程pdf合集下载

    不收藏是你的错^_^. 经证实,均可免费下载. 资源名称 资源大小   15天学会jQuery(完整版).pdf 274.79 KB   21天学通JavaScript(第2版)-顾宁燕扫描版.pdf ...

随机推荐

  1. 【解决问题】failed: java.lang.RuntimeException: org.openqa.selenium.WebDriverException: Unexpected error launching Internet Explorer.

    failed: java.lang.RuntimeException: org.openqa.selenium.WebDriverException: Unexpected error launchi ...

  2. iOS 10 之 网络权限带来的坑

    症状 iOS 10 之后,陆陆续续地有用户联系我们,说新机第一次安装.第一次启动的时候,app 首屏一片空白,完全没数据.kill 掉重新打开就好了. 一开始以为是用户网络情况不好,但随着越来越多的用 ...

  3. linux线程学习

    按照书上写的,不知道为什么有问题: //已解决,参考最新的blog,哈哈 #include <stdlib.h> #include <pthread.h> #include & ...

  4. ubuntu安装wkhtmltopdf

    下载安装wkhtmltox系统环境 http://wkhtmltopdf.org/downloads.html wget https://bitbucket.org/wkhtmltopdf/wkhtm ...

  5. “医疗信息化行业之中的联发科”- 我们在医疗行业中的定位及目标 想做一个面对中小企业的专业上游软件供应商 台湾联发科技颠覆掉的是一个封闭的手机产业系统 解决方案,即AgileHIS.NET数字化医院基础方案

    “医疗信息化行业之中的联发科”- 我们在医疗行业中的定位及目标   我们做中国医疗信息化行业之中的联发科 ---我们在医疗行业中的定位及目标 从我个人来讲,我从2001年到现在这10年之间基本上一直在 ...

  6. 如何使两台机器不通过密码连接起来(linux)

    要求服务器10.96.22.40不通过密码直接连接服务器10.96.21.53 1:准备必须的软件 A:服务器40和53同时安装所需软件 yum -y install openssh-server o ...

  7. 还没被玩坏的robobrowser(6)——follow_link

    背景 在做spider的时候,我们经常会有点击链接的需求. 考虑这样的一个简单spider:获取qq.com主页上的今日话题中的内容. 一般思路是先去qq.com首页上找到今日话题的链接,然后点击这个 ...

  8. window.location.href 与 window.loaction.replace区别

    window.location.href和window.location.replace的区别 1.window.location.href=“url”:改变url地址: 2.window.locat ...

  9. 王勇详谈 Linux Deepin 背后的故事

    (Linux Deepin最近发布了12.12版本.其也许是国内第一款比较优秀的桌面Linux系统.在此向致力于研发国产OS系统的猿人们表示敬意.虽然Deepin只是基于Ubuntu在桌面应用和UI方 ...

  10. IDEA(2018.01)安装和破解

    IDEA(2018.01)安装和破解 1.下载IDE https://www.jetbrains.com/idea/download/#section=windows 选择Ultimate版本 2.下 ...