江苏龙网

  1. 首页 > 人文 > >

清澈如初|计算机科学奠基人，图灵奖获得者，这个时代最伟大的计算机科学家( 三 )


在1960 年代后期 ， Dijkstra解决了多个图论算法问题 ， 他发表的关于并发程序控制的论文 ， 开创了分布式计算和并发计算的领域 ， 他也首先定义了互斥和死锁并提出了解法 。
他和 Jaap Zonneveld 一起写了第一个 ALGOL 60 的编译器 ， 这是最早支持递归的编译器 。 他们约定项目结束前都不许刮胡子 ， Zonneveld 在结束后很快剃掉了胡子 ， 而 Dijkstra 从此终身留着胡子 。
在分布式计算方面 ， 除了定义前面提到的互斥、死锁等并发控制的基础概念和问题 ， 他还开创了自稳定系统这个子领域 ， 并且是最早对容错系统进行研究的人 。
分布式计算最权威的会议是 PODC ， “PODC 影响力论文奖”是分布式计算领域最高的荣誉 ， 它认可的是经过时间考验的重要成就 。 而 Leslie Lamport 曾经评价到 ， PODC 之所以存在就是因为 Dijkstra 。
后来Dijkstra减少了在Eindhoven TH的工作 ， 自1973年起 ， 成为了Burroughs的一名研究员 ， 在工作中 ， Dijkstra有机会多次参观了在美国的得克萨斯州立大学 ， 整个美国的好客给他和他的妻子都留下了深刻的印象 ， 1984年 ， 他和妻子决定搬到美国 ， 并去到得克萨斯州立大学 ， 开始担任那里的计算机科学学院全职教授 ， 此后在教学生活中Dijkstra不停编写、讨论程序设计技术 ， 一做就是15年 。 直到69岁 ， 才结束了作为教授的职业生涯 。
清澈如初|计算机科学奠基人，图灵奖获得者，这个时代最伟大的计算机科学家2002年8月6日 ， 与癌症抗争多年的Dijkstra在荷兰Nuenen自己的家中去世 ， 享年72岁 。
这一年的 PODC 奖颁给了他 ， 获奖论文是他 1974 年写的一篇关于自稳定系统的论文 。 为了纪念他 ， PODC 决定从 2003 年起把这个奖项改名为 Dijkstra 奖 。
参考文献：
中科院计算所：
Chinese Software Developer Network ：
Edsger W. Dijkstra本人所著书籍《编程的修炼》 译者序
Dijkstra获图灵奖以后 ， 软件领域又涌现出图形用户界面、面向对象技术等一系列新的里程碑 ， 因特网更是带来一个全新的时代 。 但是其对于编程领域的技术开发、对于编程语言的发展和程序理论研究的深刻影响却持续至今 。
Dijkstra留下了一本编程领域里经典著作中的经典 ， 每一个关注计算机科学技术的本质 ， 冀求在程序和软件领域有长远发展的计算机工作者、教师和学生都不能错过 。
我们站在伟人肩上 ， 所以看得更远 。
Dijkstra经典著作
清澈如初|计算机科学奠基人，图灵奖获得者，这个时代最伟大的计算机科学家编程的修炼
作者：[荷兰]艾兹格· W. 迪杰斯特拉（Edsger W. Dijkstra）
译者：裘宗燕
内容简介：
本书是图灵奖获得者艾兹格·W. 迪杰斯特拉最重要的著作 ， 也是编程领域里经典著作中的经典 。
作者基于其敏锐的洞察力和长期的实际编程经验 ， 对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发 。 本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理 ， 并通过从简单到复杂的一系列程序的思考和开发范例 ， 阐释了基于严格的逻辑推理开发正确而可靠的程序的过程 。


推荐阅读


上一篇：小熊回收站|UCLA教授朱松纯被曝回国任教清华，曾创办湖北莲花山研究院

下一篇：光明网|携带或快递月饼出入境，这些规定你务必要知道