Ole-Johan Dahl

奥勒-约翰·达尔（Ole-Johan Dahl，1931 年 10 月 12 日－2002 年 6 月 29 日）是一位挪威计算机科学家。 Dahl 是奥斯陆大学计算机科学教授，与 Kristen Nygaard 一起被认为是 Simula 和面向对象编程之父之一。 [1] [2] 2001年，Dahl和Nygaard获得了ACM图灵奖。达尔出生于挪威曼达尔。他是芬恩·达尔（Finn Dahl，1898-1962 年）和英格丽德·奥蒂莉·卡辛卡·佩德森（Ingrid Othilie Kathinka Pedersen，1905-80 年）的儿子。当他七岁时，他的家人搬到了德拉门。当他十三岁的时候，二战期间德国占领挪威期间，全家逃到了瑞典。战争结束后，达尔在奥斯陆大学学习数值数学。 [1] 达尔于1968年成为奥斯陆大学的正教授，是一位才华横溢的教师和研究员。在这里，他致力于《分层程序结构》，这可能是他最有影响力的出版物，与 C.A.R. 共同撰写。 Hoare 在 Dahl、Edsger Dijkstra 和 Hoare 于 1972 年出版的颇具影响力的著作《结构化编程》中，这可能是 20 世纪 70 年代有关软件的最著名的学术书籍。随着职业生涯的发展，达尔对使用形式化方法越来越感兴趣，例如严格推理面向对象。他的专业知识涵盖从思想的实际应用到形式数学基础，以确保该方法的有效性。 [ 3 ] 领域：计算机科学 教育：奥斯陆大学 学士 MS 获奖奖状：图灵奖 (2001) IEEE 约翰·​​冯·诺伊曼奖章 (2002)