Эдсгер Вибе Дейкстра - нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий. Один из разработчиков концепции структурного программирования. Исследователь формальной верификации и распределённых вычислений. Удостоен премии Тьюринга в 1972 году за значительный вклад в разработку языка программирования высокого уровня Алгол, ставшего воплощением ясности и математической строгости.
Эдсгер Дейкстра родился 11 мая 1930 года в семье ученых, в Роттердаме. Отец был химиком, членом Королевского химического сообщества Нидерландов, а мать математиком. Изначально Эдсгер Дейкстра планировал поступать на юридический факультет, но в 1948 году по настоянию родителей стал изучать математику, физику, а затем и теоретическую физику в Лейденском университете.
Компьютер ARMAC
В начале 1950-х годов компьютеры были чем-то новым. Дейкстра начал изучать компьютерные технологии и по настоянию своего научного руководителя, профессора Йоханнеса Хантьеса, он встретился с Адрианом ван Вейнгаарденом, директором отдела вычислений в Центре математики и информатики в Амстердаме (далее - ЦМиМ), который предложил Дейкстре работу. Так, с 1952 года Эдсгер начинает работать в ЦМиИ в качестве научного программиста, где он тесно сотрудничает с Брамом Яном Лупстрой и Карелом Схолтеном, которые были заняты созданием компьютера ARMAC. Был выбран следующий подход: исходной точкой для проектирования следовало считать дизайн программной части, исходя из специфики которой уже проектировалась аппаратная. Дейкстра играл важную роль в этом отказе от классической схемы производства вычислительной части и следующего за этим написания специфических для этой части утилит и систем. ARMAC был сделан на транзисторах с использованием магнитного барабана и оперативной памяти на ферромагнетиках. Его активно использовали для проекта «Дельта» (проект по созданию защитных конструкций на юго-западе Нидерландов с целью защиты земель в дельте Рейна от наводнений), расчёта солнечных затмений и корабельных винтов — всё в рамках небольших проектов для разных заказчиков. Это демонстрировало коммерческую жизнеспособность, но в те времена ЦМиИ не был никак заинтересован в коммерческой стороне вопроса. Схолтен и Лупстра основали свою фирму «Электрологика» (нидерл. «Electrologica») с Дейкстрой в роли приглашённого консультанта, и вскоре вышли на рынок с первым коммерчески успешным компьютером.
Так же, в ЦМиИ, Дейкстра и его коллега Яап Зонневелд разработали первый компилятор для языка программирования ALGOL-60 в августе 1960 года, более чем за год до того, как аналогичный компилятор был создан другой исследовательской группой. ALGOL-60 известен как одно из ключевых достижений в области структурного программирования.
В 1962 году Дейкстра переехал в Эйндховен, в Нюэнен, на юге Нидерландов, где он стал профессором математического факультета в Эйндховенском технологическом университете. В университете не было отдельного факультета информатики, и культура математического факультета ему не особенно подходила. Дейкстра попытался организовать группу ученых, которые могли бы совместно заниматься информатикой вычислительной техникой, что было необычным явлением для математического факультета.
В конце 1960-х годов он построил разработал систему THE (названную в имени университета, тогда известную как Technische Hogeschool Eindhoven), которая повлияла на архитектуру последующих операционных систем за счет использования программной виртуальной памяти.
В 1975 году на примере опыта научного сообщества в Германии Дейкстра показал, что развитие программирования как науки на основе одного выбранного языка программирования невозможно.
Результатом такого подхода стал полный разрыв теории и практики программирования. Дейкстра отмечал, что принятие в Германии на правительственном уровне языка ALGOL-68 в качестве фундаментального средства дальнейшего развития имело столь же парализующее действие, как и решение правительства СССР о переходе советской промышленности к копированию модельного ряда IBM-360 в конце 1960 годов, которое учёный назвал величайшей победой Запада в холодной войне.
Работа в Burroughs Corporation
В августе 1973 года Дейкстра присоединился к Burroughs Corporation, компании, известной тогда производством компьютеров на основе инновационной аппаратной архитектуры, в качестве научного сотрудника. Его обязанности заключались в посещении некоторых исследовательских центров фирмы несколько раз в год и проведении собственных исследований, которые он проводил в самом маленьком исследовательском центре Берроуза, а именно в его исследовании на втором этаже своего дома в Нуэнене. На самом деле, Дейкстра был единственным научным сотрудником Burroughs и работал на них из дома, иногда путешествуя по филиалам в США. В результате он сократил свое участие в работе ЦМиИ до одного дня в неделю. Этот день, вторник, вскоре стал известен как день знаменитого «Tuesday Afternoon Club», семинара, во время которого он обсуждал со своими коллегами научные статьи, рассматривая все аспекты: нотацию, организацию, презентацию, язык, содержание и т. д. Вскоре после того, как он перешел в 1984 году на работу в Техасский университет, в Остине, штат Техас, там появилась новая «ветвь» клуба Tuesday Afternoon Club.
Дейкстра работал в Остине до выхода на пенсию в ноябре 1999 года. Чтобы отметить это событие и отпраздновать его вклад в науку, Департамент компьютерных наук Техасского университета организовал симпозиум. За свою жизнь Эдсгер Вибе Дейкстра стал одним из ярчайших представителей науки и искусства языков программирования во всей их общности, а также учёный, во многом способствовавший пониманию их структуры, представления и реализации, человеком введшем понятие семафора.
Дейкстра с женой вернулись из Остина домой в Нюэнен. Там ему был поставлен неизлечимый диагноз - рак. Он решил уйти с работы в Техасском университете и умереть на родине. Умер Эдсгер Вибе Дейкстра 6 августа 2002 года после долгой борьбы с раком.
Дейкстра был известен своим остроумием, красноречием, а иногда даже грубостью, резкостью по отношению к коллегам [1]. Его совет многообещающему исследователю, который спросил, как выбрать тему для исследования, был фразой: «Делай только то, что можешь сделать только ты» [2].
Рекомендуемая литература:
1. Dijkstra, Edsger W. The threats to computing science (EWD-898);
2. "In Memoriam: Edsger Wybe Dijkstra". University of Texas at Austin;
Публикация подготовлена по материалам, опубликованным в сети Интернет.
Больше контента Цифрокритицизма: