Даль, Оле-Йохан

Даль родился в норвежском городе Мандал в 1931 году в семье капитана судна. Он был старшим из троих детей (у него были брат и сестра)^[2]. Женат с 1963 года на Тове Торгет (норв. Tove Torget), воспитал с ней двух детей.

Учился с 1949 по 1957 год в университете Осло, получил степень магистра наук по вычислительной математике. Тема его магистерской диссертации — «Multiple Index Countings on the Ferranti MERCURY Computer»^[3].

Даль был талантливым пианистом-любителем^[2], увлекался камерной музыкой, а также любил играть в бридж и бильярд.

С 1952 по 1963 год Даль работал в Норвежском военном научно-исследовательском институте (норв. Forsvarets forskningsinstitutt), где занимался разработкой языка программирования MAC^[4]. В период с 1963 по 1968 год он работал в Норвежском вычислительном центре над созданием языка Simula^[5]. В 1968 году он стал первым в Норвегии профессором информатики в Университете Осло^[5][6].

Там он работал до 1999 года вместе с Кристеном Нюгором над теорией объектно-ориентированных языков программирования. Вместе они разработали первый объектно-ориентированный язык Simula I, позже Simula 67. Даль и Нюгор ввели такие понятия, как класс, объект, наследование, динамическое создание объектов и т. д. Сейчас эти термины являются неотъемлемыми основами всех современных объектно-ориентированных языков программирования — в частности, языков Java и C++. Кроме того, в университете Осло Даль работал над иерархической структурой программирования^[7].

С 2000 года Оле-Йохан Даль является кавалером ордена Святого Олафа. Вместе с Кристеном Нюгором Даль был награждён премией Тьюринга и Медалью IEEE имени Джона фон Неймана в 2001 году за их весомый вклад в развитие информатики.

В ходе совместной работы с Кристеном Нюгором над языками Simula I и Simula 67 Оле-Йохан Даль разработал теорию объектно-ориентированных языков программирования. Учёные впервые ввели такие фундаментальные понятия, как классы, объекты, наследование и динамическое создание объектов^[8]. Кроме того, список введённых ими концепций был дополнен виртуальными процедурами (методами), которые стали ранней формой полиморфизма и позволили переопределять поведение методов в подклассах^[9].

Эти концепции заложили фундамент современной разработки программного обеспечения и оказали прямое влияние на создание таких языков, как C++ и Java^[8].

Вторым важным направлением исследований Оле-Йохана Даля стали формальные методы, спецификация и верификация программ. В 1972 году в соавторстве с Ч. Хоаром он написал главу «Иерархические структуры программ» для книги «Структурное программирование», в которой развивались идеи построения сложных систем путём иерархической декомпозиции^[5].

Даль принимал активное участие в долгосрочном исследовательском проекте ABEL, посвящённом разработке формальных методов и инструментов для объектно-ориентированных систем. Итогом его многолетней работы в этой области стала публикация в 1992 году книги «Верифицируемое программирование», систематизировавшей методы математического доказательства корректности программ^[5].

• 2000 — командор ордена Святого Олафа
• 2001 — Премия Тьюринга вместе с Кристеном Нюгором за идеи, фундаментальные для развития объектно-ориентированного программирования, возникшие в ходе разработки языков программирования Simula I и Simula 67
• 2001 — Медаль Джона фон Неймана
• 1999 — Почётная премия Розинга (совместно с Кристеном Нюгором)^[1]
• 2000 — почётные докторские степени Университета Лунда и Швейцарской высшей технической школы Цюриха^[10][11]
• Член Норвежской академии наук и словесности и Европейской академии^[10]

В 2011 году в Университете Осло было открыто здание факультета информатики, названное в честь учёного — «Дом Оле-Йохана Даля» (норв. Ole-Johan Dahls hus)^[12].