1972年图灵奖得主 - 艾兹格·迪杰斯特拉 (Edsger Wybe Dijkstra)

1972年图灵奖得主 - 艾兹格·迪杰斯特拉 (Edsger Wybe Dijkstra)

背景

程序员的工作中布满了起源于迪杰斯特拉或由其提出的词汇 - 显示,死锁,信号量,无GOTO程序设计,结构化编程。 但他对程序设计的影响力远非任何术语表所能阐示。迪杰斯特拉为图灵奖所认可的珍贵天赋是其本人的风格:他的对智力构成极高挑战的编程方法,他雄辩的主张和和对程序应该被正确地编写而不只是被调试正确的实践示范,以及他对程序设计基础问题的启发性的理解。 他大约发表了12篇论文,包括技术和思想方面,其中尤其需要注意的是他在IFIP( 国际信息处理联合会)发表的演说,他的关于协同操作的连续过程的经典文章,以及他对GOTO语句令人难忘的控告。 最近,迪杰斯特拉的一系列有影响力的信件作程序设计艺术专题论文被披露。 我们已经在衡量好的程序和评价好的文学上有很多的相似处 并在此运动的中心,迪杰斯特拉创造、展现着美丽且有用表达方式。

[摘录自由麦克罗伊宣读的图灵奖颁奖词,这是他于1972年8 月14日在波士顿举行的计算机学会年会上的演讲。麦克罗伊是图灵奖委员会主席。]

 

传记资料

 

 

 

艾兹格·迪杰斯特拉(Edsger Wybe Dijkstra,1930年5月11日-2002年8月6日),荷兰计算机科学家。

迪杰斯特拉在 莱顿大学学习理论物理学。20世纪70年代初,他在巴勒斯公司作一名研究人员。他曾工作于荷兰的埃因霍温科技大学。后来,任美国德克萨斯大学奥斯汀分校计算机科学 Schlumberger Centennial Chair。 他在2000年退休。

 

他对计算机科学的贡献是最短路径的算法,也称为Dijkstra的算法。 于1972年获得图灵奖。

 

他同时因对计算机语言中GOTO语句持保守观点而闻名,并最终发表文章《有害的GOTO语句》, 这使得人们开始正视GOTO语句。GOTO语句被普遍抵制并逐步被其它像while循环一样的控制结构所代替。论文著名的标题并非迪杰斯特拉的功劳,而应归功于尼古拉斯沃斯,他是计算机学会通迅部的编辑 。迪杰斯特拉是一个ALGOL60的狂热爱好者,他曾工作于开发了第一个ALGOL编译器的项目组。迪杰斯特拉和Jaap Zonneveld一起开发ALGOL60编译器,他们同意直到项目完成决不剃胡子。Zonneveld最终剃掉了他的胡子,迪杰斯特拉一直保留它到现在。


 

从20世纪70年代开始,迪杰斯特拉的主要兴趣是形式证明。那时,一个普遍流行的观点是人们应先写出程序然后再为它的正确性给出数学证明。

迪杰斯特拉反对这种观点,他认为最终的证明冗长且笨重,对程序的开发方式没有洞察力。另一种方法是程序推导,“边证明边开发”。首先给出程序行为的数学规范,然后对规范进行数学转换直到其能够被执行。根据构建过程,由此产生的程序是正确的。迪杰斯特拉后期的大部分工作涉及到数学变量合理化的方式。

 

迪杰斯特拉被人所知的是他对程序设计的高深远见,还有用他的自来水钢笔严谨地创作手稿的习惯。他的许多笔记已经被扫描,并可以在互联网上获得。

在与癌症病魔进行长期的斗争之后,迪杰斯特拉于2002年8月6号与世长辞。

 

 

转自“我的小窝” http://gold-age.appspot.com/?p=13001

 

 

你可能感兴趣的:(1972年图灵奖得主 - 艾兹格·迪杰斯特拉 (Edsger Wybe Dijkstra))