Edsger W. Dijkstra,荷兰物理学家、计算机科学家和学者(生于 1930 年)

Edsger Wybe Dijkstra(DYKE-strə;荷兰语:[ˈɛtsxər ˈʋibə ˈdɛikstra](听);1930 年 5 月 11 日 - 2002 年 8 月 6 日)是荷兰计算机科学家、程序员、软件工程师、系统科学家、科学散文家和计算科学的先驱。作为一名训练有素的理论物理学家,他从 1952 年到 1962 年在数学中心(阿姆斯特丹)担任程序员。Dijkstra 在他一生的大部分时间里担任大学教授,从 1984 年起在德克萨斯大学奥斯汀分校担任斯伦贝谢计算机科学百年纪念主席直到 1999 年退休。他是埃因霍温科技大学的数学教授(1962-1984 年)和 Burroughs 公司的研究员(1973-1984 年)。 1972年,他成为第一个获得图灵奖的非美籍非英籍人士。

作为计算机科学创始一代最有影响力的人物之一,Dijkstra 作为工程师和理论家帮助塑造了新学科。他的基本贡献涵盖了计算科学的各个领域,包括编译器构建、操作系统、分布式系统、顺序和并发编程、编程范式和方法论、编程语言研究、程序设计、程序开发、程序验证、软件工程原理、图算法、以及计算机编程和计算机科学的哲学基础。他的许多论文都是新研究领域的来源。现在计算机科学中的一些标准概念和问题最早是由 Dijkstra 确定的,或者是由他创造的名称。直到 1960 年代中期,计算机编程被认为是一门艺术(或工艺),而不是一门科学学科。用 Harlan Mills 的话说(1986 年),“[1970 年代之前] 编程被认为是一种私人的、解决难题的活动,即编写计算机指令以作为程序工作”。在 1960 年代后期,计算机编程处于危机状态。 Dijkstra 是一小群学者和工业程序员中的一员,他们提倡一种新的编程风格来提高程序的质量。拥有数学和物理学背景的 Dijkstra 是推动计算机编程成为一门科学学科的推动力之一。他创造了“结构化编程”一词,并在 1970 年代成为新的编程正统观念。作为结构化编程运动(计算机编程史上第一个显着运动)的鼻祖,他的编程方法论思想为软件工程专业学科的诞生和发展奠定了基础,使程序员能够越来越多地组织和管理复杂的软件项目。正如 Bertrand Meyer (2009) 所指出的,“由 Dijkstra 的偶像破坏引发的编程观点革命引发了一场称为结构化编程的运动,该运动提倡对程序构建采用系统、合理的方法。结构化编程是所有已完成的工作的基础并发计算的学术研究始于 1960 年代,Dijkstra (1965) 被誉为该领域的第一篇论文,识别并解决了互斥问题。他也是分布式计算原理研究的早期先驱之一。他在并发、信号量、互斥、死锁(致命拥抱)、在图中找到最短路径、容错、自稳定等许多其他贡献方面的基础工作构成了分布式计算领域的许多支柱。在 2002 年去世前不久,他因在程序计算的自稳定方面的工作而获得了分布式计算领域的 ACM PODC 影响力论文奖。该年度奖项于次年更名为 Dijkstra 奖(Edsger W. Dijkstra 分布式计算奖)。该奖项由计算机协会 (ACM) 分布式计算原理研讨会 (PODC) 和欧洲理论计算机科学协会 (EATCS) 分布式计算国际研讨会 (DISC) 联合赞助,承认“没有其他个人对分布式计算原理的研究产生了较大的影响”。