艾兹格·迪杰斯特拉

生平

艾兹格·迪杰斯特拉(Edsger W. Dijkstra,1930-2002)出生于荷兰鹿特丹,是理论计算机科学与编程方法学的奠基人之一,晚年任教于美国德州大学奥斯汀分校。

主要贡献

他于 1956 年提出的 Dijkstra 最短路径算法至今是图论教学与路由计算的基础;在并发领域他提出信号量(semaphore)与哲学家就餐问题;1968 年的著名短文《Goto Statement Considered Harmful》推动了结构化编程运动。他还主导开发了 THE 多道程序操作系统,并提出分层设计思想。

影响

迪杰斯特拉 1972 年获图灵奖。他以手写编号手稿(EWD 系列)和犀利的学术风格闻名,其「测试只能证明缺陷存在,不能证明缺陷不存在」等论断被反复引用。